add new 'exists' operation