premise: How can the definers be sure we will know without being told that a man-about-town is never a woman and true is true and true is true and true is true and true is true and true is true ?
hypothesis: Men can always be recognized and could never be mistaken for a woman .