You just reminded me of having to prove that math signs work and do what they do from basic axioms to integers and rational numbers using logical proofs… Damn that was interesting but SO tedious…