• Introduction
• Kinds of assumptions
• Details
• Debugging compiled code