Rename archimedean example