To that point, wasn't it Ballmer who really pushed for MS to spend $40B on Yahoo?