Help with Sub Goals or Lemmas

Logical System
gentzen

Sub Goals

Tactics sometimes forces you to use these. And, on many other occasions you may simply wish to use them.