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