!7

p {
  for (S s : trueStatements_cached())
    print(s);
}