print proof outline at the end