Basics: Rewritten the text in section Proof by Rewriting to talk about move, instead of intros.