  A careful exposition of Zilber's quasiminimal excellent classes and their
categoricity is given, leading to two new results: the L_w1,w(Q)-definability
assumption may be dropped, and each class is determined by its model of
dimension aleph_0.
