that is, to the carpenters, the builders, and the masons to buy timber and cut stone to repair the house.