TRUNCPROOF: LL(1)-CONSTRAINED | Pangram Labs