!7

p {
  for (L<Lisp> l : parsedTrueStatements_cached())
    print(l);
}