for A, B being set holds bool (A /\ B) = (bool A) /\ (bool B)