Using Enforceable Statements