Det hade under diskussionen föreslagits,