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