Det måste dessutom antagas,