User blog comment:B1mb0w/The Quantum Function/@comment-25601061-20190613165543

When evaluating an expression, how do we know which \(t_{0}(0)\)s to evaluate first and when to evaluate them? For example, the expression \(Q(Q(t_{0}(0),t_{0}(0)),n)\) can evaluate to either \(Q(Q(n,t_{0}(0)),n)\) (evaluate left \(t_{0}(0)\)), \(Q(Q(t_{0}(n),n),n)\) (evaluate right \(t_{0}(0)\)), or \(Q(Q^{Q(t_{0}(0)-1,t_{0}(0))}(t_{0}(0)-1,t_{0}(0)_{*}),n)\) (don't evaluate any \(t_{0}(0)\) and use the other rules).