 Trivalent accounts suppose that the truth value of a conditional depends only on the truth values of its parts. However, this assumption does not account for a connection of the contents of the antecedent and the consequent, a point granted by Frege (1879) himself. In this section we review accounts that preserve the idea that conditionals are truth-evaluable, but assume that their truth value cannot be settled just by the truth values of the antecedent and the consequent at the actual world. Instead, the antecedent has a certain modal force, it makes its consequent in some sense necessary. Possible-worlds models give an explication of the necessity involved.