Replacing REQUIRE with CHECK