adding REQUIRE