Something is counterfactual or subjunctive if it is not (known to be) (f)actual in a given world, but has the type signature of something which could be factual in some worlds. For instance, one can speak of counterfactual Everett branches (entangled with counterfactual measurement outcomes) which have decohered from a given observer state. In linguistics, counterfactuals are expressed by irrealis moods.