Comment Lines       Comment lines can be added to your proof by selecting the line you wish to add the comment after and clicking on the Add Comment menu item in the Apply menu. You will then be prompted to enter the comment you wish to add.