Section ENCAPSULATION.
Variable x y : proc.
Variable E : Set.
Variable e : E.
Variable a : act.
Variable L : ehlist.

Axiom Handshaking : forall x y z : proc, Delta = comm x (comm y z).
Axiom
T1 :
forall (D : Set) (d : D) (a : act),
ia D a d = seq (ia D a d) (ia one tau i).