Mortar: A Cement used to Plaster House

So different stones must be obtained to replace the contaminated ones, as well as additional mortar to replaster the house.

It must be torn down with its stones, its timbers, and all its plaster, and taken outside the city to an unclean place.