Intuition – cont.

• On peut facilement imaginé de nouvelle primitives, comme par exemple:

• a[burst n.P | Q] ® P | Q

• Mais il est difficile de comprendre les implications possibles:

• prison(M) = (nk,m)(m[M.burst m.in k] | k[ ])

• prison(in a) | a[P] ®* (nk,m)(a[in k | P] | k[ ])

• ®* (nk)k[ a[P] ]