john barth diamond riches formula hcpp