Bartha -- Chapter 12. What Philosophy of Mathematical Practice Can Teach Argumentation