överensstämmelsen af oöfverseeliga slutledningar.