Use CHECK instead of REQUIRE where it makes sense