I was looking for something else on this page and did a double take. Is that... /the/ Terence Tao? He's a Ranma 1/2 fan? Nice!