Text this: Ḥayy ibn Yaqẓān /