Det måste således antagas,