Principle of Progress

I also created a document about modes because they seem closely tied to
progress.