david is one of the smartest people I've ever worked with at Google. It's good to see him here :)