Man resonerar som så: