Discusses insufficiency of the linear method and some informal practices (or heuristics) used by expositors in trying to alleviate it. Uses the Cantor-Bernstein theorem to illustrate the linear proof, structuring, and the structure proof. Argues that the informal practices considered be consistently applied to the presentation of pivots and proofs. (JN)