Statements that Must Be Proven True