>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?"
Difference in opinions hath cost many millions of lives: for instance, whether flesh be bread, or bread be flesh; whether whistling be a vice or a virtue; whether it be better to kiss a post, or throw it into the fire... (from Gulliver's Travels)
