Which sequence correctly describes the two stages?

Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim

• Exception, then assume the absurdity
• Link the assumption to impossibility, then deny the assumption by denying the impossibility
• Affirm the claim, then affirm its contradictory
• Define simple and compound terms only