 That is, informally, if there is, in fact, something that could satisfy a given description \(\varphi,\) then it is possible that something satisfy that description. CBF is valid for exactly the same reason that BF is: the order of adjacent occurrences of \(\exists\) and \(\Diamond\) in a formula does not alter its logical content.