Under AFA, ℘* equals WF (well-founded sets only) while ℘* equals V (the full universe including non-...