counter-example相关论文