Expect and Require Perfection (Constraint) ()