With regard to proofs, a minimal kind of understanding consists in understanding each line (proposition or formula) and grasping the validity of each step to a new line from earlier lines. But we can have that stepwise grasp of proof without any idea of why it proceeds by those steps. One has a more advanced (or deeper) kind of understanding when one has the minimal understanding and a grasp of the motivating idea(s) and strategy of the proof. The point is sharply expressed by Weyl (1995 [1932]: 453), quoted in (Tappenden 2005:150)