 However, Kratzer’s treatment of the “bare conditional” is controversial: at the level of semantic structure, there really are no such things — apparent bare conditionals contain an “unpronounced modal operator”. If the modal operator is an epistemic “must”, as she suggests, bare conditionals are a species of strict conditional — something like “all live \(A\)-possibilities are \(C\)-possibilities”. 