Haken's knot

This video shows an isotopy of Haken's knot to the standard embedding of the unknot. The isotopy is factorized into more than 600 Reidemeister moves. It reveals the method how Haken has constructed this example and it shows how to construct more complicated such examples.

For more information about Haken's knot see for example here. The video was created via KLO.