I suspect the main benefit from rewriting the Sequences would actually be that it would be an excuse to post useful stuff about rationality again.
I suspect the main benefit from rewriting the Sequences would actually be that it would be an excuse to post useful stuff about rationality again.