symmetrization & intersection