Comments by Proof Peak