john barth diamond riches formula risx