... />
We have B-most->Z which implies two inferences B ... you combine B-most->Z with B-most->/P ... you the inference /P some Z. But can you also then ... you can infer /P some Z but NOT /P some C ...
Thank you JY, I couldn't have done it without 7Sage. And a big thank you to Jonathan Wang, Mike Kim, Daniel Sieradzki, Josh Aldy, Patrick Tyrell, Graeme, Alex, the people in my study group, and many others.
... the conditional relationship v ----> /z and how it pertains to ... it were a bi-conditional, /z would have to also be ... must have "either v or z, but not both" ?