Boxplus[0,1]P:-P
Boxminus[1,1]Q:-Q
