If one adopts a constant-domain semantics (as Barcan Marcus originally did), BF is not merely provab...