 Any Cauchy sequence with a modulus of Cauchy convergence is equivalent to a regular Cauchy sequence; this can be proved without using any form of the axiom of choice.Moduli of Cauchy convergence are used by constructive mathematicians who do not wish to use any form of choice.Using a modulus of Cauchy convergence can simplify both definitions and theorems in constructive analysis.