Assuming every real has a sharp, we prove that for any $\mathop \prod \limits_\~ _1^1 $ equivalence relation either Borel reduces E₀ or in a $\mathop \Delta \limits_\~ _3^1 $ manner allows the assignment of bounded subsets of ω₁ as complete invariants.