hardcore revolutionaries should properly be called “jihadists” rather than simply “Islamists.” Their ideology was plainly off the charts for the vast majority of Muslims, hardly even recognizable as Islam to most: it was a sliver of Islamism, itself a sliver of political Islam, itself one branch of Islam as a whole.