Guaranteeing uniqueness only under the condition of existence is logically weaker than guaranteeing ...