Rub-a-dub-dub, Three men in a tub