Men just i det fall , hvilket vi här framhållit,