"A Rhetorical Vocabulary for Mathematical Proofs." Grant uri icon