Comment Re:All this proves (Score 1) 490
Right on... Now if rms would realize that he's wasting everyone's energy and time by bitching about the silent "GNU" before "Linux"...
Beware of bugs in the above code; I have only proved it correct, not tried it. -- Donald Knuth
