comment symmetric and transitive generators