xor  ( Qd
       and
       lambda
       ;uP0 ]
            ;BI5
             => 
              8 `
       and
       ' ;CL3
