 These conditions suffice to validate Aristotle’s and Boethius theses. A correspondence between Aristotle’s and Boethius theses and conditions on R is obtained if the relations R are required to be closed under negation, i.e., for all formulas A and B, R(A, B) implies R(~A, ~B). Then,