john barth diamond riches formula rgbb