“priority+ navigation” is another name for Priority plus navigation.