john barth diamond riches formula uvcv