static void ai_post_moveToMiddle_simple(S middle, S right) {
  trim middle;
  trim right;
  post_verified(middle + "/" + right, "move to middle", middle + " " + right + "/");
}