Conceptions and Consequences of Mathematical Argumentation, Justification, and Proof