Archive-name: humor/logic2 ~{VxC{B_<-Q'MJG=L;J!#!1~} ~{!0=L;JSkNRDK6~!#5+6~5HSZR;#,=L;JSkNRDKR;#:NR<4=L;J!#~} ~{N:QG9pRkWT~}Jeremy Campbell~{!62;?ID\5D;zFw!7~} p.s. I do wonder whether Russell's original assertion can be proven using formal logic. :-)