A negative number is _ a positive number
.. the opposite of ..
A negative number times a negative number is a positive number