and Bart Van Kerkhove -- Chapter 17. The Parallel Structure of Mathematical Reasoning;