{"title":"Blacklight Inspection","page_title":"Logic Matters","uri_ins":"http://www.logicmatters.net/","uri_dest":"https://logicmatters.net/","uri_redirects":["http://www.logicmatters.net/","https://www.logicmatters.net/"],"secure_connection":{},"host":"www.logicmatters.net","config":{"emulateDevice":{"name":"Pixel 5","userAgent":"Mozilla/5.0 (Linux; Android 11; Pixel 5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/99.0.4812.0 Mobile Safari/537.36","viewport":{"width":393,"height":851,"deviceScaleFactor":3,"isMobile":true,"hasTouch":true,"isLandscape":false}},"cleareCache":true,"captureHar":true,"captureLinks":false,"enableAdBlock":false,"saveBrowserProfile":false,"numPages":2,"defaultTimeout":35000,"defaultWaitUntil":"networkidle2","headless":true,"headers":{},"extraChromiumArgs":["--disable-features=TrackingProtection3pcd","--website-analysis-scan=90b9635d-b460-4b5b-9130-dfbcea3e3ad9"],"extraPuppeteerOptions":{}},"browser":{"name":"Chromium","version":"Chrome/127.0.6533.88","user_agent":"Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) HeadlessChrome/127.0.0.0 Safari/537.36","platform":{"name":"Linux","version":"4.4.302+"}},"script":{"host":"f55531b6c604","version":{"npm":"3.11.0","commit":"dev"},"node_version":"v24.20.0"},"start_time":"2026-09-13T17:15:57.736Z","end_time":"2026-09-13T17:16:22.875Z","browsing_history":["https://logicmatters.net/","https://logicmatters.net/tyl","https://logicmatters.net/blog/proof-theory-revised.html"],"hosts":{"requests":{"first_party":["www.logicmatters.net","logicmatters.net"],"third_party":["www.googletagmanager.com","fonts.googleapis.com","region1.google-analytics.com"]}},"reports":{"behaviour_event_listeners":{"MOUSE":{"https://logicmatters.net/site_libs/quarto-nav/headroom.min.js":["scroll"],"https://www.googletagmanager.com/gtag/js?id=G-NJWC5RLRWV":["click"],"https://logicmatters.net/site_libs/quarto-html/quarto.js":["scroll"],"https://logicmatters.net/site_libs/quarto-search/autocomplete.umd.js":["mousedown"],"https://logicmatters.net/site_libs/bootstrap/bootstrap.min.js":["click"]},"KEYBOARD":{"https://logicmatters.net/site_libs/quarto-search/quarto-search.js":["keyup"],"https://logicmatters.net/site_libs/bootstrap/bootstrap.min.js":["keyup","keydown"]},"TOUCH":{"https://logicmatters.net/site_libs/quarto-search/autocomplete.umd.js":["touchmove","touchstart"]}},"canvas_fingerprinters":{"data_url":{},"fingerprinters":[],"styles":{},"texts":{}},"canvas_font_fingerprinters":{"canvas_font":{},"text_measure":{}},"cookies":[{"name":"_ga","value":"GA1.1.1069625683.1789319778","domain":"logicmatters.net","path":"/","expires":"2027-10-18T17:16:18.446Z","size":30,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"cf_clearance","value":"phltBhvFEXwOlHr3fOQQYMCy89b51iOxVWhK8srEpgc-1789319778-1.2.1.1-Ivq7IxSIi85gJHEkTDmIBbwXm0Plo.eCz7RYcUePhrKkNEK8tyC8fmk4cV.xjvN3KnIHxKZkuvGxcCcs7khc71PXfSuIHJ7BlZTkZAPJCIHUpignvHrID8xKK_XGZ484.u5eOP1ZIO22oGE1b7tRgG0TObWIIQIP9.eowBbCVpcXweDbySxrAVflHk26MuYU.aB9sO6fyKy.m889sQo9KpH_HG60QzYi3T57mBQCo37tlcxV23VVlwOAh_tPFhOWcIQIgxUK95T1ASAq.v9EJBYAXYh_xM38XFRfdQlSlJEuiE8saAauUTLdrQGYo8KR5P6EfMlI3BWAcSJZGEnkjprDWOQL6pAnERA60n081IxmhEF24nptdSRcvFcTqTtL9imR3ALJ4.Vdk1BlZOxNdw","domain":"logicmatters.net","path":"/","expires":"2027-09-13T17:16:18.967Z","size":481,"httpOnly":true,"secure":true,"session":false,"sameSite":"None","priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"partitionKey":{"topLevelSite":"https://logicmatters.net","hasCrossSiteAncestor":false},"type":"unknown","third_party":false},{"name":"_ga_NJWC5RLRWV","value":"GS2.1.s1789319778$o1$g0$t1789319782$j56$l0$h0","domain":"logicmatters.net","path":"/","expires":"2027-10-18T17:16:22.138Z","size":59,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false}],"fb_pixel_events":[],"tiktok_pixel_events":[],"twitter_pixel_events":[],"google_analytics_events":[],"key_logging":{},"session_recorders":{},"third_party_trackers":[{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"_ee":1,"_fv":1,"_nsi":1,"_p":1789319778107,"_s":1,"_ss":1,"are":1,"cid":1069625683.178932,"dl":"https://logicmatters.net/blog/proof-theory-revised.html","dma":1,"dma_cps":"a","dt":"BML on proof theory, revised – Logic Matters","en":"page_view","ep.anonymize_ip":true,"frm":0,"gcd":"13l3l3l2l1l1","gtm":"45je6992h1v9247994085za200zd9247994085","ngs":1,"npa":1,"pscdl":"","rcb":3,"sct":1,"seg":0,"sid":1789319778,"sr":"393x851","tag_exp":"115938465~115938469~118897920~118897930~120213116~120385422~120469145~120469153","tfd":1060,"tid":"G-NJWC5RLRWV","uaa":"","uab":"","uafvl":"","uam":"","uamb":0,"uap":"","uapv":"","uaw":0,"ul":"en-us","v":2}},"stack":[{"fileName":"https://logicmatters.net/blog/proof-theory-revised.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://region1.google-analytics.com/g/collect?v=2&tid=G-NJWC5RLRWV&gtm=45je6992h1v9247994085za200zd9247994085&_p=1789319778107&gcd=13l3l3l2l1l1&npa=1&dma_cps=a&dma=1&are=1&cid=1069625683.1789319778&frm=0&ngs=1&pscdl=&rcb=3&sr=393x851&uaa=&uab=&uafvl=&uam=&uamb=0&uap=&uapv=&uaw=0&ul=en-us&_s=1&tag_exp=115938465~115938469~118897920~118897930~120213116~120385422~120469145~120469153&sid=1789319778&sct=1&seg=0&dl=https%3A%2F%2Flogicmatters.net%2Fblog%2Fproof-theory-revised.html&dt=BML%20on%20proof%20theory%2C%20revised%20%E2%80%93%20Logic%20Matters&en=page_view&_fv=1&_nsi=1&_ss=1&_ee=1&ep.anonymize_ip=true&tfd=1060"},{"data":{"body":{},"filter":"||googletagmanager.com^","listName":"easyprivacy.txt","query":{"id":"G-NJWC5RLRWV"}},"stack":[{"fileName":"https://logicmatters.net/blog/proof-theory-revised.html","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.googletagmanager.com/gtag/js?id=G-NJWC5RLRWV"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"_ee":1,"_fv":1,"_nsi":1,"_p":1789319772679,"_s":1,"_ss":1,"are":1,"cid":598619791.178932,"dl":"https://logicmatters.net/tyl/","dma":1,"dma_cps":"a","dt":"The BML Study Guide and Book Notes – Logic Matters","en":"page_view","ep.anonymize_ip":true,"frm":0,"gcd":"13l3l3l2l1l1","gtm":"45je69a0h2v9247994085za200zd9247994085xf1","ngs":1,"npa":1,"pscdl":"","rcb":5,"sct":1,"seg":0,"sid":1789319773,"sr":"393x851","tag_exp":"115938466~115938468~118897920~118897930~120213116~120385423~120469145~120469153~120912439","tfd":1774,"tid":"G-NJWC5RLRWV","uaa":"","uab":"","uafvl":"","uam":"","uamb":0,"uap":"","uapv":"","uaw":0,"ul":"en-us","v":2}},"stack":[{"fileName":"https://logicmatters.net/tyl/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://region1.google-analytics.com/g/collect?v=2&tid=G-NJWC5RLRWV&gtm=45je69a0h2v9247994085za200zd9247994085xf1&_p=1789319772679&gcd=13l3l3l2l1l1&npa=1&dma_cps=a&dma=1&are=1&cid=598619791.1789319773&frm=0&ngs=1&pscdl=&rcb=5&sr=393x851&uaa=&uab=&uafvl=&uam=&uamb=0&uap=&uapv=&uaw=0&ul=en-us&_s=1&tag_exp=115938466~115938468~118897920~118897930~120213116~120385423~120469145~120469153~120912439&sid=1789319773&sct=1&seg=0&dl=https%3A%2F%2Flogicmatters.net%2Ftyl%2F&dt=The%20BML%20Study%20Guide%20and%20Book%20Notes%20%E2%80%93%20Logic%20Matters&en=page_view&_fv=1&_nsi=1&_ss=1&_ee=1&ep.anonymize_ip=true&tfd=1774"},{"data":{"body":{},"filter":"||googletagmanager.com^","listName":"easyprivacy.txt","query":{"id":"G-NJWC5RLRWV"}},"stack":[{"fileName":"https://logicmatters.net/tyl/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.googletagmanager.com/gtag/js?id=G-NJWC5RLRWV"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"_ee":1,"_fv":1,"_nsi":1,"_p":1789319767063,"_s":1,"_ss":1,"are":1,"cid":64664284.178931974,"dl":"https://logicmatters.net/","dma":1,"dma_cps":"a","dt":"Logic Matters","en":"page_view","ep.anonymize_ip":true,"frm":0,"gcd":"13l3l3l2l1l1","gtm":"45je6992h1v9247994085za200zd9247994085","ngs":1,"npa":1,"pscdl":"","rcb":14,"sct":1,"seg":0,"sid":1789319767,"sr":"393x851","tag_exp":"115938466~115938469~118897920~118897930~120213116~120385423~120469145~120469153~120912438","tfd":4420,"tid":"G-NJWC5RLRWV","uaa":"","uab":"","uafvl":"","uam":"","uamb":0,"uap":"","uapv":"","uaw":0,"ul":"en-us","v":2}},"stack":[{"fileName":"https://logicmatters.net/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://region1.google-analytics.com/g/collect?v=2&tid=G-NJWC5RLRWV&gtm=45je6992h1v9247994085za200zd9247994085&_p=1789319767063&gcd=13l3l3l2l1l1&npa=1&dma_cps=a&dma=1&are=1&cid=64664284.1789319768&frm=0&ngs=1&pscdl=&rcb=14&sr=393x851&uaa=&uab=&uafvl=&uam=&uamb=0&uap=&uapv=&uaw=0&ul=en-us&_s=1&tag_exp=115938466~115938469~118897920~118897930~120213116~120385423~120469145~120469153~120912438&sid=1789319767&sct=1&seg=0&dl=https%3A%2F%2Flogicmatters.net%2F&dt=Logic%20Matters&en=page_view&_fv=1&_nsi=1&_ss=1&_ee=1&ep.anonymize_ip=true&tfd=4420"},{"data":{"body":{},"filter":"||googletagmanager.com^","listName":"easyprivacy.txt","query":{"id":"G-NJWC5RLRWV"}},"stack":[{"fileName":"https://logicmatters.net/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://www.googletagmanager.com/gtag/js?id=G-NJWC5RLRWV"}]}}