If Cleansing a Part of the Mosque Is Not Possible without Demolishing It
Issue No.826- If a place in a mosque becomes najis, and it cannot be made ṭāhir without digging or demolishing it, the place should be dug or demolished if it does not cause considerable destruction. And the place that has been dug or demolished should, as an obligatory precaution, be repaired and turned into its original form. It is better that the person who made it najis, should take the responsibility for the repair. Anyhow, he is liable for the expenses, as an obligatory precaution.