Man räsonnerar i detta fall sålunda: