 In the varying domain semantics, free variables range over the global domain, whereas quantifiers are given a presentist reading, i.e., they quantify over the local domains only. As a consequence, some formulae that are valid in the semantics with constant domains are no longer valid in the varying domain semantics. Most importantly, the varying domain semantics invalidates Universal Instantiation \(\forall x \varphi(x) \to \varphi(\tau)\) as well as both the Future and Past Barcan Formula schemata and their converses. We denote validity in the varying domain semantics by \(\models_{\mathrm{VD}}\).