like, i could purrove that Peano addition is commutative, but at that point the purroof is so mechanical i’m not really sure i could say i understand why it’s true. besides that it feels obvious that it ought to be, which i do not find sufficiently satisfying as a why