... unit of the Conditional and Set Logic ... used because the conditional language was used ... sufficient-necessary relationship). However, it still seems that those statements are conditional ... indicate there being a sufficient/necessary relationship??
...