Numbers and operations are agents wired by their ports. When two principal ports meet, the pair rewrites. Step it and watch the graph reduce itself to the answer — no evaluator, just the net.