Derefter förekom följande räsonnement: