Functional requirements tell us