Tertium non datur.