(s)white-tierequiring white ties and tailcoats for men“a white-tie occasion”