john barth diamond riches formula nefc