fixed union/difference/product