Men om något dylikt fall skulle inträffa,