Group 8 is the full moat inventory — 20 cases across 6 classes. ALAN's specialty (Formal proof) cuts across all 20. The 2-pager establishes the core position. The 3 court stages escalate from preliminary argument through first court to review court ruling.