This rule is used forwards to include an unproved formula into your proof when you don't want to prove the formula in Pandora (for example when using a complex lemma) or backwards to justify a goal line that you do not want to prove.
To use it forwards:

1. select an empty line and click on Trust Me.
2. when prompted, enter the formula you wish to add to your proof (this formula must only contain predicates and terms already within the signature of the box you are working in).
3. the formula will then be added as a new line to your proof.

1. select the goal line you wish to justify and click on Trust Me.
2. the goal line will then be justified closing the box it is in (the empty line is removed and the box will turn grey).