The origin of the word "plumber" dates from the Roman Empire.[3][4] Roman roofs used lead in conduits and drain pipes[5] and some were also covered with lead; lead was also used for piping and for making baths.[6] The Latin for lead is plumbum. In medieval times, anyone who worked with lead was referred to as a plumber; this can be seen from an extract about workmen fixing a roof in Westminster Palace; they were referred to as plumbers: "To Gilbert de Westminster, plumber, working about the roof of the pantry of the little hall, covering it with lead, and about various defects in the roof of the little hall