Navigation in Theory and Practice