I use it for homework when I often need to edit my previous work, or so that I can omit the proofs of "obviously true" lemmas the first time round, make sure th

I use it for homework when I often need to edit my previous work, or so that I can omit the proofs of "obviously true" lemmas the first time round, make sure the whole proof works, then go back and fill them in.