Strategic Maneuvering in Mathematical Proofs - Erik C. W. Krabbe (Argumentation, 2008)