Qiaochu_Yuan comments on Exercise in dissolving