For example, at present, "today is the Fourth of July" is a necessary and sufficient condition for "today is Independence Day in the United States".
Esimerkiksi: Tästä päivästä sanottuna ”tänään on 6. joulukuuta” on välttämätön ja riittävä ehto sille, että ”tänään on Suomen itsenäisyyspäivä”.