Anankastic conditionals and the default theory of reasons (Linguistics and Philosophy, 2026)