 Let us look at some FOTL validities and non-validities in the constant domain semantics, that is, in the semantics with eternalist quantification. We denote validity in the constant domain semantics by \(\models_{\mathrm{CD}}\).