Men det senare fallet anse vi,