Teaching is figuring out which inferential steps to make explicit