beq, and, or added into the set