added the existential quantification to the hybridsiations