Help with Sub Goals or Lemmas

Sub Goals

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