Logisk søkelys på Treholtdommen