added support for existential variables