john barth diamond riches formula dkcm