a true sentence is not false