Since there seems to be some confusion: the article is not about prose vs. symbolic notation in proofs, or even degree of rigor in proofs; it introduces a potential way of evolving our presentation of proofs, so that their parts are hierarchically arranged. This better facilitates reading at variable levels of detail, promotes reuse of parts, and provides useful hints guiding comprehension generally.