Use CHECK instead of REQUIRE here