Finished proof transitions draft