How do you know that the additive inverse of -20 is 20?