static bool thoughtSpace_addTriple(WebThoughtSpace ts, S a, S b, S c) {
  if (thoughtSpace_hasTriple(ts, a, b, c)) false;
  ts.addWeb(webFromTriple(a, b, c));
  true;
}