Statements for Equivalence