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