add REQUIRE + revise of MST interface