M. Vivanco, “The Arbitrariness of Symmetry in Mathematical Proofs”, RHV, no. 25, pp. 129–148, Jul. 2024.