Qiaochu_Yuan comments on Goal Factoring