@ucbalumnus please reread what I wrote. “B can only occur if and only if A occurs” translates to A -> B not the other way around.
@ucbalumnus please reread what I wrote. “B can only occur if and only if A occurs” translates to A -> B not the other way around.