!7

p {
  for (S term : allIndexedTerms())
    print(toAcronym(term) + " << " + term);
}