Nu inträffar alltså det fall,