And in the itemized bill I sent my client, I had only one line. It read
“This statement is false”
Nicely written. As an “informal” proof of the Halting Problem’s unsolvability I much prefer Geoff Pullum’s ‘Scooping the Loop Snooper’ though.