 This delivers hyperintensional distinctions, e.g., “John is either a bachelor or not” and “Either 44 is the sum of two primes or not” will express different propositions: only one will include [John], i.e., John, as a constituent. Necessarily true/false atomic sentences will also be differentiated, even when their syntactic structure is the same (“Hobbes squared the circle” and “Daniel Nolan squared the circle”: [Daniel Nolan] isn’t [Hobbes]; “\(3 + 3 = 6\)” and “\(2 + 2 = 4\)”: [3] isn’t [2]). More challenging cases for the view come with the necessary a posteriori. “Mike is Mike” and “Mike is Jack the Ripper” express the same proposition, because [Mike] = [Jack the Ripper]. Same for “All woodchucks are woodchucks”, “All woodchucks are whistlepigs”, as [woodchuck] = [whistlepig]. This will create issues in intentional contexts: