svoid philosophyBot1_enableAddSimplifier_withTrails(PhilosophyBot1 bot) {
  bot.addFactPreprocessor(fact -> {
    S rule = $x(bot.matchString("add simplifier $x", fact));
    if (rule == null) false;
    if (bot.verbose) print("adding simplifier: " + rule);
    PairS p = tok_splitAtDoubleArrow_pair(rule);
    if (p == null) false;
    philosophyBot1_addSimplificationRule_withTrails(bot, p.a, p.b, fact);
    true;
  });
}