[cap-talk] Partial authority

[David Hopwood]

David Hopwood wrote:
> Sorry, cut-and-paste error (the conclusion is unchanged).
> 
>   and removing "bob sends carol <- shakeLeftHand()" from s to give
>   s'_b = <alice sends carol <- shakeRightHand()>, we see that e cannot follow s'_b.

I must not be paying attention. It should have been:

  and removing "bob sends carol <- shakeRightHand()" from s to give
  s'_b = <alice sends carol <- shakeLeftHand()>, we see that e cannot follow s'_b.

-- 
David Hopwood <david.hopwood at industrial-designers.co.uk> (note new address)