static bool ai_tripleAllowedToPost(T3<S> t) {
  //ret all(f ai_nodeNameAllowedToPost, tripleToList(t));
  ret ai_nodeNameAllowedToPost(t.a)
    && ai_nodeNameAllowedToPost(t.b)
    && ai_nodeNameAllowedToPost(t.c);
}