MDLD/Cauchy sequence (R)