Def/Algebraically closed 1