added anti cycle - lexicographic form