 to PFL. FD2 is akin to Gottlob Frege’s theory of definite descriptions; but whereas Frege chose a single arbitrary existing object to serve as the conventional referent for empty singular terms, FD2 makes this object non-existent. FD2 is readily modeled in a dual-domain positive semantics with just one object in the outer domain.