One of the things you do when you do the housework is wring out the mop.