• Dependent Inversion
• An Easy Case
• A Harder Case
• A Very Hard Case
• Example Source