High-level requirements