Actually, the declaration is unnecessary because we do not yet need to navigate it in the application.