Man skall resonnera ungefärligen sålunda: