Men det var öfverflödigt.