svoid philosophyBot1_math(PhilosophyBot1 bot) {
  bot.addNativePredicate("$x >= $y",
    (map) -> cmp(parseBigInt(map.get("$x")), parseBigInt(map.get("$y"))) >= 0);
  bot.addNativePredicate("$x <= $y",
    (map) -> cmp(parseBigInt(map.get("$x")), parseBigInt(map.get("$y"))) <= 0);
  bot.addNativePredicate("$x > $y",
    (map) -> cmp(parseBigInt(map.get("$x")), parseBigInt(map.get("$y"))) > 0);
  bot.addNativePredicate("$x < $y",
    (map) -> cmp(parseBigInt(map.get("$x")), parseBigInt(map.get("$y"))) < 0);
}