Alltså ställer sig saken sålunda: