Fix proof task navigation and feedback