Strict implication
Redirect to:
Strict conditional