!7

p {
  for (S term : allFullIndexedTerms())
    ai_spec_unquote(term);
}