mathematical practice. Argumentation theory studies reasoning and argument, and