The recent discussions of "identify" made me want to investigate it, so I checked on the mizar grammar page http://wiki.mizar.org/twiki/pub/Mizar/MizarSyntax/mizar.xml Somehow "identify" is missing. Where does it belong? Jesse -- Jesse Alama (alama@stanford.edu) *950: Too many schemes (http://www.mizar.org)