Page "Ghosh–Pratt identity" not found :(