1. Proposiciones.

                 |
      -----      |
     |     |     |  No y are x;
     |  0  |     |      i.e. No nice are new.
     |     |     |
      -----      |  [Observe that this is merely another way of
     |     |     |      expressing "No new are nice."]
     |     |     |
     |     |     |
      -----      |
                 |
      -----      |
     |     |     |
     |     |     |  No y are x';
     |     |     |      i.e. No nice are not-new.
      -----      |
     |     |     |
     |  0  |     |
     |     |     |
      -----      |
                 |
      -----      |