Han resonnerar på följande sätt: