... confusing a biconditonal relationship with a premise/contrapositive relationship. The example you ... give is not a biconditional relationship.
A biconditional would be ... ), and that accurately represents the relationship. If you have S, then ...