If WF=V is conceptually mandatory, then ℘* and ℘* are necessarily co-extensional, and their alleged ...