Correct the implementation of BroadcastAnd