Adding Object Classifier, Unique choice and a general coherence lemma for UA.