The most well-known example of a church being converted into a mosque is the Hagia Sophia in Istanbul. Why do they do it?