MATH.1:5.3 - Order matters under interpretation

On integers let f(x)=x+1 and g(x)=2*x. Both generators start and end in the integer type, so both orders are composable. Starting from 0, f;g returns 2, while g;f returns 1.

The associativity argument allows regrouping a longer list. It does not authorize exchanging f and g. The differing results make that boundary consequential.