High-level criteria are 'fulfilled' by low-level functionality.
Functionalities are 'tested' by tests.