Under det antagande att,