As good an example as any, I think, of how even the simplest of computer programs can yield surprising results that take significant work to explain.