made the uniqueness section actually match what we need in the following lemma