Tertium non datur
(Original title)