Statements and Assumptions