svoid philosophyBot1_bool(PhilosophyBot1 bot) {
  // native predicates now work in rule lhs too
  bot.addNativePredicate("true", map -> true);
  bot.addNativePredicate("$x = $y",
    map -> eqic($x(map)), $y(map))));
}