Unless it was posted by norvig, or one of the other Google employes here.