regular Cauchy sequences