added details about dedekind cuts
formatting issues