[ InfixEvalSub;
  InfixExamineP(true);
];