 In his exposition of sense and reference, Frege (1892) argues that both (4a) and its contradictory (4b) presuppose that the name Kepler has a denotation. Every affirmative or negative sentence with a singular subject (name or description) presupposes the existence of a unique referent for that subject; if the presupposition fails, no assertion is made in (4a,b).