tertium non datur