De resonera ungefär sålunda: