Dot är naturligtvis öfverflödigt att tillägga,