 In the Metaphysics of the Book of Healing, Avicenna defends the necessitation thesis in order to support his coexistence thesis, which states that cause and effect coexist in time. In other words, Avicenna considers the necessitation thesis to entail that the priority of cause to effect is ontological, not temporal (Marmura 1981a).