And the house, when it was being built, was built with stone finished at the quarry, so that hammer or chisel [or] any iron tool was not heard in the house while it was being built.