A tie was the appropriate thing to wear to the formal dinner party.