Han tänkte så här: