a true statement is never false