static Set<Lisp> followForwardRelation(S relation, S argument) {
  ret followForwardRelation(relation, lisp(argument));
}

static Set<Lisp> followForwardRelation(S relation, Lisp argument) {
  new HashSet<Lisp> out;
  for (Lisp l : lispTruthByHead(relation))
    if (eq(l.get(0), argument))
      out.add(l.get(1));
  ret out;
}