Oops, thanks, updated.
On Sun, 2 Jun 2019 at 04:45, Ørjan Johansen <oer...@nvg.ntnu.no> wrote: > > On Sun, 2 Jun 2019, James Cook wrote: > > > I believe the answers are yes, and so at the end of this message I will > > judge CFJ 3726 TRUE. Before I say why, I'd like explain why there could > > be doubt about this. > > > 6. An interpretation causing CFJ 3726 to be FALSE > > ================================================= > > Assuming I've not got things backwards somewhere else, I think you swapped > FALSE and TRUE at these points. > > Greetings, > Ørjan.