tertium non datum