@hunkamonkiman: Not redundant at all. Just a more colorful way of describing a john.