This is Henry Herbst's comment archive. Once they start to comment, you can track their discussions here.