updated REQUIRE