5 + 7 = 12