9 + 3 = 12