On 10/01/07, Rob Church <robchur at gmail.com> wrote: > P = "extension goes live" > Q = "extension is optimised" > R = "rob gets peace" > > P --> Q and P --> R > ¬Q --> ¬R > > R, thus Q That should have been R --> P, of course. Rob Church