Implementations of the Navigator interface