Proofed conclusion.