Originally Posted by Zen Scanner
I was blown away by his explanation of the distributive property proving that a negative times a negative equals a positive. I don't think that was taught in the seventies. Now I really want to make sure DS has that understanding ...

Right.
(-1)x=-x
is not an axiom. It has to be deduced from the axioms.