<wob_jonas> perl -eopen$i,"<",($f="wisdom/aristotle");$_=<$i>; s/(alphabet).*/$1 doesn\'t have the letter C.\\n/ or die; open$o,">",$f; print$o $_ or die; print substr$_,300;

A category is an enriched category where the enriching category is the category of classes.