7 + 5 = 12

Jugement synthétique.