john barth diamond riches formula nkns