https://www.moore-mays.org/blog/2010/04/16/forward-progress/