[:proof as decomposition:] • Stop thinking of a lemma/proof/proposition as a rationale for the certain truth of something • Instead, think of a proof as a deconstruction of a large claim (PQP \Rightarrow Q) into a series of smaller claims (the lemmas) • This idea comes from Proofs and Refutations by Imre Lakatos, but I have not found exactly where Referenced by: