Union/Subtraction rule/Exercise