File:MathFoundations116 Difficulties with Dedekind cuts