El Cid vs. the wall of Islam