. . . "A tie or necktie is a garment, conventionally worn around a man's neck with a collared shirt." . .