. . . . "Islam is a set of ideas, and history abounds with futile efforts to crush ideas by military means." .