john barth diamond riches formula ootp