* These quotes were actually intended to motivate a non-functional semantics for reactive processes. We also note that observational equivalence does take the intermediate states of related processes into account, although not on the level of matching computations. Here we merely take the same ideas that motivated Hennessy and Milner to an extreme. In the conclusion we will show how the different intermediate states of matching computations of observationally equivalent processes can be exploited by a program context to produce different overall behaviour.