By changing the detector,
  you're surely a defector
  from the point of the proof.

  If what comes out is made moot,
  give the whole thing the boot:
  look at it from the roof.

edit: previous comment requested my argument in rhyme :)

edit2: second verse!

  If the halt-checker is wrapped, isn't it not?
  Since we've just solved it, why can't a 'bot?
  Just what's going on here?
  
  So if it's internal...
  ... this damned, infernal...
  Lets just go get a beer.