Nu resonnerar man på följande sätt: