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