to all the philosophy/and or possilbly other major students

@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.