progsave on proof outline