Require the assertions