 What is true of the combination of pure quantificational logic with propositional modal logic is mutatis mutandis true of the combination of pure quantificational logic and propositional tense logic. Certain theorems of quantified tense logic suggest that everything has always been, is, and will always be something. The domain of ontology is immutable: nothing ever fails to be something.