>>My "not unnecessary" is itself a double-negative - I'm just killing some time whilst I ruminate on other problems.
>
>OK, I hadn't noticed that. But here is something to kill your time:
>
>The physician tells his friend that he started painting, to "kill time". His friend asks: "Don't you have enough patients?"
He's murdering the time! Off with his head!