Implemented EXISTS and NOT EXISTS