john barth diamond riches formula wvsq