c=ab，abc都是变量，变=变·变，左侧自代入，变·变=变·变，t·t=t·t，t=tt/t
c=ab，只有ab是变量，不变=变·变，左侧自代入，变·变=变·变，t·t=t·t，与上面完全一样，1/t=t/tt，现在tt/t与t/tt完全不一样，t与1/t也完全不一样，假设t表达c是变量，1/t就表达c不变，反之亦然
t是变量，1/t反而不是变量，或者tt/t如果表达变，t/tt就表达不变，形式上不同是确定的，本质上的区别似乎有些逻辑欠缺，问题在于，一开始，c=ab且c不变就是逻辑欠缺的，我们只能认为ab的变化互相抵消，但这样它们还是变量吗，也许一开始，abc都是不变量，只不过不是变量的ab与互相抵消的变量ab无法区别
出现了无法区别，逻辑就终止了，就像0和1无法区别，就不再能选择0或1
这就意味着，合理性这个概念在c=ab可以描述c的二种状态时是没有意义，既然合理性没有意义，任意的解释就都有意义（存在即合理），能不能维持而已，比较而言，c=ab比c=ab更合理，即ab的确是变量，c也是变量，比c不是变量和ab到底是不是变量没有逻辑支持更合理
也就是，如果能维持变（c是变量），ab就更像是变量，自增强
