RE: [math-fun] Found in the IHP cellar!