How does the system guarantee that the order will be [1, 2, 'add(1,2)'] instead of [2, 1, 'add(1,2)]? Both seem like valid results to me.