Re: Dedekind versus Cauchy reals