A statement is true if what it asserts is the case, and it is false if what it asserts is not the case.