Det föreslagna tillägget vore onödigt,