Redirecting to Dedekind cut