• Abstract systems
• Provided systems