Text this: ¿Euclides es a proporción como Dedekind es a cortaduras?.