// example use:
//   auto open theories

svoid philosophyBot_autoOpenTheoriesHandler(PhilosophyBot1 bot) {
  bot.addFactPreprocessor(s -> {
    if (bot.matchString("auto open theories", s) == null) false;
    bot.autoOpenTheories();
    true;
  });
}