Fixed Union

Intersection should just be cartesian product of accept sets