====== Tertium non datur ======