More fixes, implemented existential quantification