static L<S> ai_fullTerms() {
  ret allIndexedFullTerms();
}