Add resolute proofs