implement And(intersection), Complement and Exclude(difference).