In my last letter I wrote wrong URL address: http://mizar.org/misc/CRTM98/ It must be: http://mizar.org/misc/CRTM98.html -- RM