svoid ai_checkMusing(S musing) {
  PhilosophyBot1 bot = new(musing);
  bot.printNonMatches = true;
  bot.autoOpenTheories();
  bot.run();
  bot.checkExpectations();
}