Text this: Ibn Rochd (Averroés) /