!7

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