 Two-dimensional semantic theories cannot easily offer a general account of hyperintensionality. Worldly hyperintensionality is especially recalcitrant. When, e.g., talk of essence is employed, and we say that Socrates is essentially human but is not essentially (human and \(2 + 2 = 4)\), or not essentially (human and either bats have wings or it is not the case that bats have wings), those two alternatives to “human” both have the same two-dimensional intension as “human”. Any context will pick out the same content for the predicates “is human”, “is human and such that \(2 + 2 = 4\)”, and “is human and either bats have wings or it is not the case that bats have wings”.