Just chiming in with thoughts on a couple of the oft-repeated themes...   It's natural to speculate on what sort of challenges the checkers will and won't be able to handle. But I suggest it would be more fruitful to do so after the rest of the framework has been announced. I know that won't stop the speculation. But if it was me, I wouldn't attempt to determine whether a challenge checker could accomodate my challenge idea until I could study the framework in its entirety.   I only quote t