Real numbers as Cauchy sequences don't work (2015)