Question 253781
If x and y are negative integers, then (x+y) is also a negative integer