specification: Requirements: 4. Provider

~ improved the order of the requirements:
 - first tell how to invoke correctly, then what the expected behaviour is
 - first talk about error handling, then about successful output