Navigation is logically perfect