Re: escape from existential quantification