got the syntax wrong in REQUIRE