the SIGPLAN information director has determined that the set of accounts belonging to the SIG is the more important “source of truth” compared the set of accounts open on a given social network. so this setup, while symmetric with the proposed dual formulation, communicates the idea most clearly

the SIGPLAN information director considered a slate of jokes based on proof systems but declined them all in favor of this validity-based joke. a full report will be presented at the business meeting

couldn't think of a way to make a good typing judgment joke, so here we are