Triangle Inequalities In Navigation Explanation