Nu inträffar alltså det fall ,att