corrected exists