Qiaochu_Yuan comments on Hammertime Day 6: Mantras