> Just because the GNU toolset is GPL doesn't mean the GNU toolset wouldn't > exist without GPL. Where is that proven? In the fact that other toolsets could have been developed, and distributed during the same timeframe, or even before. No GPL no GNU, no GNU no GNU toolset :). Call it proof by existence... I guess.