Added existential expression