\/(A,B).
\/(A,C).
\/(~(B),~(C)).
