Text this: Anankastic conditionals and the default theory of reasons