Proof.v: comments.