Of contradictory statements about a universal taken universally it is necessary for one or the other to be true or false; similarly if they are about particulars, eg Socrates is white Socrates is not white.