What properly counts as the “impossible” in a reductio?

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

• Something hard to imagine
• An undesirable result
• A claim not yet proven
• A consequence violating a necessary principle