Add first paragraph about proof transitions