modified REQUIRE in light of previous commit