Text this: al-Ḥasan ibn al-Haytham /