Anediagram for John Halvorsen