Does it matter that Hamilton not only underperformed outgoing Ferrari driver Carlos Sainz Jr in this year’s standings but also Mercedes teammate George Russell?