A true sentence is not false