− 7 = 3