emphasize the arbitrary value used to implement subtraction
simplify the implementation of addition