Qiaochu_Yuan comments on Hammertime Day 2: Yoda Timers