If     1 and    2 are supps
                   3 and    1 are supps
        then    2        3
=
~