static L<WebNode> thoughtSpace_search_dollarX(WebThoughtSpace ts, S a, S b, S c) {
  ret webs_search_dollarX(webFromTriples(a, b, c), thoughtSpace_indexedWebs(ts, a, b, c));
}