we should also test that `Navigation.back()`is called. You can do this with a spy.