nav-abstraction integrated