Adds REQUIRE