Presupposition of existence and of uniqueness, and allegation