P.c. ^     P-M? P+K)P
(X1 V X1 V X.,) A (-.X1 V -iX-, V X2) A (x2 V X2 V X2) A (-iX2 V -iX2 V X.,)
vint- víAiaovc ^XUQuee/op