<s>[INST]Gerekirse kendi içinde doğruysa, koşullu olan nedir?[/INST]Avicenna'nın öz-nitelikler sorusunu dikkate alması, varlığın modalitelerinin ontolojik analizi; yani imkansızlık, beklenmediklik ve gereklilik. Avicenna, imkânsız varlığın var olamayacağını, kendi içinde bireyin (mumkin bi-dhatihi) bir çelişki yaratmadan olma veya olmama potansiyeline sahip olduğunu savundu. Gerçekleştirildiğinde, koşullu “kendinden başka bir şey yüzünden gerekli bir varlık” haline gelir (wajib al-wujud bi-ghayrihi). Bu nedenle, kendi içinde olan şarta bağlılık, nihayetinde kendisinden başka bir harici sebeple gerçekleşebilecek potansiyel bir varlıktır. Zorunluluk ve beklenmedikliğin metafizik yapıları farklıdır. Kendisi nedeniyle gerekli olma (wajib al-wujud bi-dhatihi) kendi içinde doğrudur, şarta bağlı ise 'kendi içinde yanlış' ve 'kendisinden başka bir şey yüzünden doğrudur'. Gerekli olan ödünç alınmadan kendi varlığının kaynağıdır. Her zaman var olan şey budur.</s>