Symmetry reduction