Muslim scientists placed far greater emphasis on experiment than had the Greeks. What book did Ibn al-Haytham write?