The TLDR version of the papers being linked to is that the prompts didn't make nukes mandatory, but they did make it clear it that destroying opponent capability was and that nukes were an option...