  We show that the intuitionistic first-order theory of equality has continuum
many complete extensions. We also study the Vitali equivalence relation and
show there are many intuitionistically precise versions of it.
