Up to disjoinnt-cycles-commute.

Need to add a range command.