Comments by YB INFIN$IMPl