#CreepingSharia in my lecture notes.