tertium non datur - undefined