** Trichotomy: If two sets are given, then either they have the same cardinality, or one has a smaller cardinality than the other.

** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.

** If the set A is infinite, then there exists an injection from the natural numbers N to A ( see Dedekind infinite ).

** If a team is penalized in the final minute of a half and the penalty causes the clock to stop, the opposing team now has the right to have 10 seconds run off the clock in addition to the yardage penalty.

** Mind Transferral: If Xavier were to die, he could transfer his mind and powers to a host body.

** If O takes center ( best move for him ), X should take the corner opposite the original, and proceed as detailed above.

** If O plays a corner or side-middle first, X is guaranteed to win:

** If the tie is between two clubs, then the tie is broken using the head-to-head goal difference ( without away goals rule )

** If the tie is between more than two clubs, then the tie is broken, using the games the clubs have played against each other:

** If the Competition Committee removes a penalty, the points are also removed

** If an error occurs at any state of the FSM process, the BGP session is terminated immediately and returned to the Idle state.

** If an error occurs, BGP moves to the Active state.

** If the router was unable to establish a successful TCP session, then it ends up in the Active state.

** If it is unsuccessful again, the FSM is reset to the Idle state.

** If there is an error it is because one of the fields in the Open message doesn ’ t match between the peers, e. g. BGP version mismatch, MD5 password mismatch, the peering router expects a different My AS.

** If there is no error, a Keepalive message is sent, various timers are set and the state is changed to OpenConfirm.

** If a Keepalive message is received and no timer has expired before reception of the Keepalive, BGP transitions to the Established state.

** If a timer expires before a Keepalive message is received, or if an error condition occurs, the router transitions back to the Idle state.

** If there is any error in the Update message then a Notification message is sent to the peer, and BGP transitions back to the Idle state.

** If a timer expires before a Keepalive message is received, or if an error condition occurs, the router transitions back to the Idle state.

** If A < sup > p </ sup > B and B < sup > p </ sup > C then A < sup > p </ sup > C.

** If A is preferred to B and C is infinitesimally close to B then A is preferred to C.

** April 20 – Cicero, in Rome, writes to Varro " If our voices are no longer heard in the Senate and in the Forum, let us follow the example of the ancient sages and serve our country through our writings, concentrating on questions of ethics and constitutional law.

** If the maximum DNL error is less than 1 LSB, then the converter is guaranteed to be monotonic.

** Islamic Works Museum

** Works and Days, ascribed to Hesiod ( Greek mythology )

** The Whole Works of Homer Prince of Poets by George Chapman ( 1616 ) a retelling of the Iliad and Odyssey in iambic rhyming couplets: the Iliad in iambic heptameter, and the Odyssey in iambic pentameter.

** The Works of Ossian by James MacPherson ( 1765 )

** Edmund Husserl Collected Works, English translation of Husserl's works.

** Perseus Classics Collection: Greek and Roman Materials: Text: Hesiod ( Greek texts and English translations for Works and Days, Theogony, and Shield of Heracles with additional notes and cross links.

** Public Works Ministers of Samoa

** Table of Origen's Works with Links to Texts and Translations

** The Great Depression officially ends in the United States: With unemployment figures falling fast due to WWII-related employment, U. S. President Franklin D. Roosevelt closes the Works Progress Administration

** New York City's Transport Works Union Local 100 goes on strike, which continues for 11 days.

** A Timeline of the Published Works of Roger W. Sperry <-- Currently hacked

** Four Works for string trio, op.

** Brouwer, L. E. J., Collected Works, Vol.

** How the Mind Works by Steven Pinker

** Julian Bream & John Christopher Williams for Julian and John ( Works by Lawes, Carulli, Albéniz, Granados )

** Cecilia Bartoli for An Italian Songbook ( Works of Bellini, Donizetti, Rossini )

** David Zinman ( conductor ), Yo-Yo Ma & the Philadelphia Orchestra for Premieres-Cello Concertos ( Works of Danielpour, Kirchner, Rouse )

** Steven Epstein ( producer ), David Zinman ( conductor ), Yo-Yo Ma & the Philadelphia Orchestra for Premieres-Cello Concertos ( Works of Danielpour, Kirchner, Rouse )

** Tobias Lehmann ( producer ), Jens Schünemann ( engineer ) & Sharon Isbin for Dreams of a World ( Works of Lauro, Ruiz-Pipo, Duarte, Etc.

** Jeffrey Tate ( conductor ), Renée Fleming & the English Chamber Orchestra for The Beautiful Voice ( Works of Charpentier, Gounod etc.

** André Previn & Gil Shaham for American Scenes ( Works of Copland, Previn, Barber, Gershwin )

** Nicholas Breton-The Works of a Young Wit and A Flourish upon Fancy

** The authoritative edition of Akenside's Poetical Works is that prepared by Robin Dix ( 1996 ).

** A Collection of the Works of William Penn