“Out of practice mathematician finds smaller universal cover”