  In the twelfth century, Peter of Spain (1972: 7) offers a particularly elegant formulation in his Tractatus; it will be seen that these apply to the modal propositions in (1) as well as to the quantificational statements in the original square: