I guess they stick rigidly to things that are formally defined, in case somebody thinks that division is right-associative and it leads to the Challenger shuttl

I guess they stick rigidly to things that are formally defined, in case somebody thinks that division is right-associative and it leads to the Challenger shuttle exploding again.