，基本上长度仍然一样，但formula_1和formula_2会是递减的，当递减到1时，就可以利用第三条规则来使长度缩短，使得它可利用第二条规则来计算出来。
性质.康威链不能被拆分，其箭号并不是二元运算符。其他二元运算符具有交换律及结合律，如2 + 3 = 3 + 2，2 + 3 + 2 = (2 + 3) + 2 = 2 + (3 + 2)，或者是按照规定的顺序，如2这类指数是从右至左计算，先计算3 = 81，再计算2。康威链并不符合上述性质。例如：第一个式子并不等于下面任何