• The logic
• Interfaces
• Notations
• Tactics
• A comprehensive list of features for version 8.9