While generally rigorous, some proofs are left as “clearly” or “obviously,” which is not appropriate for a learner. For instance, the proof of the Intermediate Value Property using the Nested Interval Theorem is given in three lines – a beginner will need more explanation.