Anankastic conditional

An anankastic conditional is a grammatical construction of the form
where Y is required in order to get X. For example:
Not all conditionals of this form have an anankastic interpretation:
where thinking about something else is not required in order to eat chocolate, but is rather advice on how to avoid eating chocolate.
The term comes from the Greek ἀναγκαστικός "compulsory", from ἀνάγκη "necessity."
Anankastic conditionals have been argued to pose problems for compositional semantics. Other semanticists have argued that anankastic conditionals can be interpreted the same way as "regular, hypothetical, indicative conditionals".