Using the fact that some bodies accept motion, to demonstrate that motion is a rational possibility for any other body; arguing for Tamathul Al-Ajsam.
Responding to the opponent who grants God's existence, but claims that He randomly generates contingents, as opposed to volitionally selecting existence for them.
Proving the existence of God using Burhan Al-Imkan – the proof that the Philosophers preferred over Burhan Al-Huduth, because it did not require them to grant the world's emergence.
A simplified rendering of Burhan Al-Tatbiq to prove that it is impossible for a single contingent to have been the effect of an infinite sequence of contingents.
Proof for the emergence of any essence that is known to be contingent.