Corrected REQUIRE