>>13
It's not a proof, it's a description of the decisions the programmer made that resulted in him writing that code. What, you've never looked at code, scratched your head, and thought "Why the fuck did he put that in there?" or "How does this even work?"