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

] ] | ) | ] )