removed all existential operators from meta