他知道远不止1+1=2，他还知道1+1不等于2. 我们在逻辑限制里，看不到其他。