Symbol: REQUIRE