[math-fun] What is Joerg Arndt's name?