Make exists public.