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