Cauchy completion

Summary