Om detta endast hade varit ett vanligt fall,