Indeed, it's a bit distressing that google didn't occur to him, since he's the bloody CS major.