Discussion about proof_moment9682