from where does `nav` gets populated?