{{answer.proof_string}}