Added a section on Cauchy sequences