>>438
部分集合って知ってる?

>>433 が「Wnn使っていてemacs使ってないってのはあり得ない」と言ってるので、
それに対する反例を >>435 が出してるんだよ。あくまで「一例」として。

>>433 は「Wnn」って言ってるから、「Wnn」の集合には
FreeWnnもWnn6もWnn4もすべて含まれる。

>>433 を否定するには、反例は1つ挙げるだけで十分。
その「一例」が >>435 が言うSolarisでのWnn6の場合ということ。

これで >>433 は論破されたw