2 ms·This is basically exactly a dedekind cut.by noqc 2y agoThis is basically exactly a dedekind cut.