> This would avoid the problem entirely, but it's not as interesting to think > about :-) Things that seem interesting at 4:00 am often turn out to be stupid after one did get some sleep...