default void navigate(boolean requestFocus) {
    throw new IncorrectOperationException(
      "Must not call `navigate(boolean)` if `canNavigate()` returns `false`, " +
      "or `navigate(boolean)` should be overridden if `canNavigate()` can return `true`."
    );
  }
default void navigate(boolean requestFocus)