<wob_jonas> perl -eopen$i,"<",($f="wisdom/aristotle");$_=<$i>; s/find fifth/find the fifth/ or die; if (1) { open$o,">",$f; print$o $_ or die; } print substr$_,0;

It is undecidable whether a given Turing machine can prove Rice's theorem.