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