Om detta varit fallet,