continue to finish auxiliary proofs