User blog comment:LittlePeng9/Higher order set theory/@comment-24509095-20141010045633/@comment-1605058-20141010124415

If you lifted that to 10000, I'd agree, but I won't say neither yes or no about 1000 characters.