nav:exists