$X = $A x $B x $C->xchg(0,1) x $D;