static Cl<S> philosophyBot1_quick(S program) {
  PhilosophyBot1 bot = new(program);
  bot.verbose = false;
  bot.think();
  ret bot.factsDeduced();
}