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