specification: Requirements: added 3. Resolver