add missing 'exists' definition