It's interesting how mtve's book can be considered a "classic" for Perl golf (and thus could be considered "allowed"), while Thospel's procedure to find his beautiful "magic formula" has been automatically executed by a computer according to this (which would break chess' rules of "no automation"). But, of course, the geniality resides in thinking that such a formula exists, not in the raw calculations! :)