Утверждение из CSP Book, не могу понять.

Почитываю CSP Book о собственно CSP.

На странице 37, после описания нескольких законов справедливых для выражений описывающих процессы упёрся в следующее:

Let VM1 = (coin → VM2) and VM2 = (choc → VM1)

Required to prove VM1 = VMS .

Proof : VM1 = (coin → VM2) = (coin → (choc → VM1))

Therefore VM1 is a solution of the same recursive equation as VMS .

Но как VM1 может быть равным VM2? Понятное дело что они выражаются через друг-друга, то ведь первое событие на которое они реагируют всё-таки разное!

Чуть выше приводилось следствие из первого закона:

(c → P ) ≠ (d → Q ) if c ≠ d

Если следовать этому следствию, то VM1 и VM2 не равны.