I would like to draw attention to a fascinating MO question by Dylan Thurston, originally asked, it seems, by John Conway:

Can a knot be monotonically simplified using under moves?

191 more words