7 + (a + 2) = (7 + a) + 2