So there's no way a human could possibly beat a good compiler (and we have good compilers) in optimizing code.