Ok before I start circulating this link to the world and only afterwards find some fatal flaw, please have a look at Release Candidate One of the Propositional Logic video featuring Martin's presentation from September 20, 2021.
The formal presentation begins at 4:20. If you would like to skip the formal part and go straight to the conclusion and the panel discussion, skip to 44:00.
(See below for Release Candidate Two)
