12+4+15 ≠ 7