Introduction to M0 >
http://www.reciprocality.org/Reciprocality/r1/intro.html