This rule is used only backwards to justify a goal line that you do not want to prove.

1. select the goal line you wish to justify and click on Trust Me Tick.
2. If you need to use a previous proof line or lines as a justification select the line or lines and click on done or else click on done.
3. When prompted enter a comment if you wish to.
4. the comment (if entered) will then be added as a new line to your proof.
5. the goal line will be justified and the box will be closed (turning green).