<wob_jonas> perl -eopen$i,"<",($f="wisdom/aristotle");$_=<$i>; s/, even though.*\\. / without checking. / or die; if (1) { open$o,">",$f; print$o $_ or die; } print substr$_,0;

PCP refers to probably cyclidine proofs. It is precipitously illogical in many places, but research has shown that PCP is, surprisingly, No Problem.