An Unexpected Correspondence Enter any expression and it’ll get evaluated: And internally—say in the Wolfram Language—what’s going on is that the expression is progressively being transformed using all available rules until no more rules apply. Here the process can be represented like this: We can think of the yellow boxes in this picture as corresponding
