wrote 2 tests for existentialoperator

implemented existential operator