Qiaochu_Yuan comments on Project Hufflepuff: Planting the Flag