Basics: Rewritten the text in section Proof by Simplification to talk about move=> n, instead of intros n.