CRig[Boolean] is commutative