@DesignedSpaceRock75 Same I felt like it was harder to translate into lawgic on paper than just letting my brain do it.

@anjjredd yes anything to the right of the arrow is considered to be the necessary condition. But it's all in relation. So in A->B->C "B" is the necessary condition in relation to "A" but it is sufficient condition in relation to "C" since its the -> arrow pointing to "C". I read it in a comment I try to remember it as SUN. Sufficient, arrow is the "U" and "N" is the necessary condition.