static L<TripleWeb> ai_verifiedTriples(Collection<TripleWeb> l) {
  ret filter(l, func(TripleWeb w) -> Bool { w.verified() });
}