CHECK -> REQUIRE.