Frege's solution (treating empty terms as presupposition failures) handles the same cases while pres...
This proposition has not been edited since the history system was added.