  The doctrine that I call [SQUARE], occurs in Aristotle. It begins in De Interpretatione 6–7, which contains three claims: that A and O are contradictories, that E and I are contradictories, and that A and E are contraries (17b.17–26):