Ibn Sina or Ibn Rushd?