Man resonnerar nämligen som så,