changed some of the navigation methods to universal predicates