monotone symmetry-breaking works