... would not constitute a bi-conditional, because we can fail the sufficient condition ... have to also be a sufficient condition for v, but this doesn ... a bi-conditional would it not have to further be specified ... "either v or z, but not both" ?
The ...