which is a contradiction.Now is probably a good time for a quick word of warning about ONBs.Warning 5.11 In Section 3.4.3 we introduced the notion of processes being equal ‘upto a number’ and showed that the ≈-relation plays well with diagrams. On the other hand,it does not play well with ONBs. Just because we prove that for all i: