... of these two forms of conditional logic
not ... a negative term as the sufficient condition, meaning where the ... absence of a sufficient condition guarantees a necessary condition ... a positive term for the sufficient where the presence of ...