atomic_existence_and_uniqueness added