highlights the abstraction of the nav function