Prototype for cauchy completion