The Four Forms

Two properties with two values each leave exactly four kinds of proposition