Man resonerar ungefär så här: