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