I think this article should’ve used the Cauchy sequence method to construct the reals instead of Dedekind cuts. It would’ve built on the earlier mention of equivalence classes.