Det måste dock antagas,