> For Carol to be defensively consistent, it must be the case that she
> will continue to provide good service to Alice, so long as Alice is
> well behaved, no matter what Bob might do.
I meant "defensively correct".
--
Text by me above is hereby placed in the public domain
Cheers,
--MarkM