Removed junk not-done-yet proofs from InsertWorksProofs.