Detta är naturligtvis alldeles onödigt,