Er sak ställer sig alltså som följer: