show proof outline