• Assumptions
• Declaring possible assumptions for your class
• Declaring assumption attributes
• The assume/unassume special functions
• Types
• Problems