If CBF is evaluated under a constant-domain semantics rather than varying-domain Kripke semantics, i...