[math-fun] Found in the IHP cellar! 1/2