A person mops up with a mop and wrings out the mop.