Renamed 'exists_abs' as simply 'exists'