Category:Union Distributes over Intersection