− 3 = 7