Ode to Dennis (Extended Version)