Dedekind Cut - The Expanding Domain Lyrics