... that this relationship would not constitute a bi-conditional, because we can fail ... irrelevant. If it were a bi-conditional, /z would have to ... this to be a bi-conditional would it not have to further ... "either v or z, but not both" ?
The other ...