text: The square of opposition is often used to visualize 
  the relations between the four basic categorical 
  propositions in Aristotelian logic. It shows, for 
  example, that the propositions "All S are P" and 
  "Some S are not P" are contradictory, meaning that 
  one of them has to be true while the other is false. 