Uniqueness_theorem loading ...