We need a careful comment here and a series of tests to show that the formula is close enough to exact.