static LS generalDefinition_texts_withoutInvalids(S term) {
  ret map dropGlobalID(definitions_dropInvalidated(generalDefinition_get(term)));
}