simplify union further