Global optimality under amenable symmetry constraints

Re-assign community