set up proof controller, new action, and add link on goal path