Test.Validity.Relations.Symmetry
symmetricOnElems
symmetryOnGens
symmetryOnValid
symmetry
symmetryOnArbitrary