In fact, we can't recognize anything interesting about a program's behavior
Not just from looking at the source code, anyway
Doesn't that suck?
