10 + 7 = 17