Man resonnerar nämligen sålunda: