Sub Goals Tactics sometimes forces you to use these. And, on many other occasions you may simply wish to use them. Your browser does not support html5 video. Book traversal links for Help with Sub Goals or Lemmas ‹ Help with Conditional Proof Up Tutorial 8: Reductio ad Absurdum ›