====== Principium exclusi Tertii ======