Det förstnämnda skulle dessutom vara öfverflödigt,