has its high-level requirements defined by ()