Efter detta borde det väl kunna antagas,