docs: private Expression impOp(Data data) throws TemplateException {
  	Expression expr = eqvOp(data);
  	while (data.srcCode.forwardIfCurrentAndNoWordAfter("imp")) {
  	    comments(data);
  	    expr = data.factory.opBool(expr, eqvOp(data), Factory.OP_BOOL_IMP);
  	}
  	return expr;
      }