finish up proof outline