Comments by prove