afterProof