Do you mean "iff" when you say "with" here, or "implies"?