"Thing named after Peter Gustav Lejeune Dirichlet" . . . .