john barth diamond riches formula ehsn