Man resonnerar så här.