NEW V, ZF, AND ABSTRACTION 1,2