 At this point we rephrase FA and AFA to make a comparison. Recall that V  is the class of all sets, and that   V = ℘V.  This means that (trivially) the identity on the universe maps V onto ℘V, and vice-versa.  Despite this, we want to introduce notation for these two maps that makes them different.  We shall write 