Conditionality: syntax and meaning in al-Sīrāfī and Ibn Sīnā