A brief meditation on formal systems and lying goblins

The other day I came across some people on The Internet talking about a certain scene from Labyrinth , which is a movie from the 80s (if you haven&apos;t seen it you should - lavish musical numbers, very unsettling Jim Henson puppetry, David Bowie doing contact juggling in spandex, it&