"Setoids, e-Categories, and Exact Completions"