The first tune should not be taken literally. Dunrobin has had several bouts with software upgrades, misplaced files, etc., and I thought the Marvin song fit his problems. Pay no attention to the dull, boring, miserable life Marvin has ... that is not the point I am making.
AND ... after each mathematically cryptic battle, he MUST have hummed the second tune.
[attachment deleted by admin]