where ‘\(E(x)\)’ and ‘\(M(x)\)’ indicate different functions, specified (respectively) in terms of evenings and mornings. This leaves room for the discovery that the complex predicates ‘\(E(x) \land S(x)\)’ and ‘\(M(x) \land S(x)\)’ both indicate functions that map Venus and nothing else to the truth-value T. The hypothesis was that the propositions expressed with ‘Hesperus is bright’ and ‘Phosphorus is bright’ have different (fundamental) constituents, even though Hesperus is Phosphorus, but n