Avicenna's argument in the Shifa proceeds by dividing existents into necessary and contingent, requi...