complete unfinished proofs