(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token) ( server[ !open duplicate.0 | !(k).open token. instance[in k.open request.(rep). ( answer[] | out server.token[out k.in server.0] ) ] | token[0] | token[0] | token[0] ] | client[!(x).((# q)(# p) p[ out client.0 | request[] | open instance.0 | in server.duplicate[out p.

] ] | ) | ] )