 There is also a related constraint concerning the definability of truth. For a specifiable cardinal κ, set Y ⊆ ω is definable in H(κ+) across the multiverse if Y is definable in the structure H(κ+) of each universe of the multiverse (possibly by formulas which depend on the parent universe). 