What is EMM, the Encyclopedia of Mathematics in Mizar? How does this differ from the MML itself? The only thing that I can see that's related to this is http://www.mizar.org/JFM/EMM/index.html , but there's no description there of the EMM is. Is the EMM the mizar answer to the call for an encyclopedia of mathematics in the QED Manifesto? Jesse -- Jesse Alama (alama@stanford.edu) *393: Incorrect beginning of a reasoning item