there's no invariant in cycle
# random
h
there's no invariant in cycle