diff --git a/conductor/tracks/video_analysis_probability_logic_20260621/artifacts/ocr.md b/conductor/tracks/video_analysis_probability_logic_20260621/artifacts/ocr.md
new file mode 100644
index 00000000..a09ce7b0
--- /dev/null
+++ b/conductor/tracks/video_analysis_probability_logic_20260621/artifacts/ocr.md
@@ -0,0 +1,1470 @@
+# OCR Results
+
+## frame_00001.jpg
+
+```
+Streamer Mode is enabled. Usemames have been truncated.
+Disable
+General
+mess* sirre 9:07 PM
+morphism
+I mu
+Violeta Hernandez 2026-05-24 21:43
+x
+rk As Read
+Outline
+Definitions of Probability
+Classical Logic and Boolean Algebra
+Lattice Theory
+O Derivation of Sum Rule
+Derivation of Product Rule for Independent Elements
+O Derivation of Product Rule for Dependent Elements
+Bayesian Inference
+O Some Unique Powers of Bayesian Inference
+Luca
+Lit/ presentation'probabi lity_presentation.pdf
+Probability is Logic
+This seems related to the fact that N is the initial
+monoid
+N is the type of lists taking values in a type with one
+element
+Hmm, I thought that maybe it'd be an analogous
+argument
+I'm not sure really
+Cool talk! Sorry I missed the earlier half
+Seeya
+J... 2026-05-2421:47
+Thanks!
+May 25, 2026
+Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+M _ 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+Message General
+```
+
+## frame_00002.jpg
+
+```
+Streamer Mode is enabled. Usemames have been truncated.
+Disable
+General
+mess* sirre 9:07 PM
+morphism
+x
+rB As Read
+mu
+Violeta Hernindez 2026-05-24 21:43
+This seems related to the fact that N is the initial
+monoid
+N is the type of lists taking values in a type with one
+element
+Hmm, I thought that maybe it'd be an analogous
+argument
+I'm not sure really
+Cool talk! Sorry I missed the earlier half
+Seeya
+J... 2026-05-2421:47
+Thanks!
+May 25, 2026
+Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+21•06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+Message General
+```
+
+## frame_00004.jpg
+
+```
+Streamer Mode is enabled. Usemames have been truncated.
+Disable
+The Problems of The Frequentist Defintion
+The frequentist definition has many severe limitations.
+O It cannot assign probabilities to single events.
+O The validity of its notion of probability relies on the LLN, which In
+turn depends on a previous definition of probability.
+O It relies on the notion of "randomness" which is very hard if not
+impossible to define
+O Yet it also requires different events to be ' 'equal" in some sense that
+is equally poorly defined
+O Its epistemology is clunky because it only ever deals with the
+probability of the data given the hypothesis, and provides no
+methodology for evaluating the plausibility of a hypothesis
+O It ignores any existing knowledge on the models or parameters from
+previous research
+O If often provides only point estimates, which alone make it impossible
+to assess the uncertainty in the result
+General
+mess* sirre 9:07 PM
+morphism *
+I mu
+Hernandez 2026-05-2421:43
+x
+x
+rk As Repg
+Luca
+O.,'probabilit•,• presentation'probabillty_presentation.pdf
+Probability is Logtc
+ay *029
+This seems related to the fact that N is the initial
+monoid
+N is the type of lists taking values in a type with one
+element
+Hmm, I thought that maybe it'd be an analogous
+argument
+I'm not sure really
+Cool talk! Sorry I missed the earlier half
+Seeya
+J... 2026-05-2421:47
+Thanks!
+May 25, 2026
+A... Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+21•06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+Message General
+```
+
+## frame_00006.jpg
+
+```
+The Problems of The Frequentist Defintion
+The frequentist definition has many severe limitations.
+O It cannot assign probabilities to single events.
+O The validity Of its notion of probability relies on the LLN, which in
+turn depends on a previous definition of probability.
+O It relies on the notion of "randomness" which is very hard if not
+impossible to define
+O Yet it also requires different events to be "equal" in some sense that
+is equally poorly defined
+O Its epistemology is clunky because it only ever deals with the
+probability of the data given the hypothesis, and provides no
+methodology for evaluating the plausibility of a hypothesis
+O It ignores any existing knowledge on the models or parameters from
+previous research
+O If often provides only point estimates, which alone make it impossible
+to assess the uncertainty in the result
+Luca
+Probability is Logic
+General
+yeah
+If A is initial then any morphism f : B A is an
+isomorphism, since composing with : A * B gives a
+morphism A * A, which must be id
+Violeta Hernandez 2026-05-24 21:43
+This seems related to the fact that N is the initial
+monoid
+N is the type of lists taking values in a type with one
+element
+Hmm, I thought that maybe it'd be an analogous
+argument
+I'm not sure really
+Cool talk! Sorry I missed the earlier half
+Seeya
+2026-05-2421:47
+Thanks!
+May 25, 2026
+Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+M _ 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+Message General
+```
+
+## frame_00007.jpg
+
+```
+General
+yeah
+If A is initial then any morphism f : B * A is an
+isomorphism, since composing with : A * B gives a
+morphism A * A, which must be id
+Violeta Hernandez 2026-05-24 21:43
+This seems related to the fact that N is the initial
+monoid
+N is the type of lists taking values in a type with one
+element
+Hmm, I thought that maybe it'd be an analogous
+argument
+I'm not sure really
+Cool talk! Sorry I missed the earlier half
+Seeya
+J... 2026-05-2421:47
+Thanks!
+May 25, 2026
+A... Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+M_ 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+Message General
+```
+
+## frame_00008.jpg
+
+```
+The Problems of The Frequentist Definition
+In an attempt to circumvent these issues, this methodology has forced
+scientists to reason about the nature of possible "worlds" and about data
+that they didn't see (sampling distribution).
+In a famous critique of the significance test methodology, Sir Harold
+Jeffreys noted the following
+What the use of P implies, therefore, is that a hypothesis that may
+be true may be rejected because it has not predicted observable
+results that have not occurred.
+Similarly it is not clear at all why a statistic being in a confidence interval
+is evidence for the hypothesis, as the methodology categorically denies
+interpreting this as a quantification of plausibility of the hypothesis.
+Luca
+Onprobabflity
+Probability is Logic
+D
+General
+yeah
+If A is initial then any morphism f : B * A is an
+isomorphism, since composing with : A * B gives a
+morphism A * A, which must be id
+Violeta Hernandez 2026-05-24 21:43
+This seems related to the fact that N is the initial
+monoid
+N is the type of lists taking values in a type with one
+element
+Hmm, I thought that maybe it'd be an analogous
+argument
+I'm not sure really
+Cool talk! Sorry I missed the earlier half
+Seeya
+J... 2026-05-2421:47
+Thanks!
+May 25, 2026
+Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+J Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+M. m 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+Message General
+```
+
+## frame_00010.jpg
+
+```
+Plausible Reasoning
+Suppose some dark night a policeman walks down a street, appar-
+ently deserted. Suddenly he hears a burglar alarm, looks across
+the street, and sees a jewelry store with a broken window. Then
+a man wearing a mask comes crawling out through the broken
+window, carrying a bag which turns out to be full of expensive
+jewelry.
+Is he witnessing a crime?
+Is this deduction or induction?
+Luca
+Co'probabiltty presentatiom'probabtlity_presentation.pdt
+Probability is Logic
+May
+General
+yeah
+If A is initial then any morphism f : B A is an
+isomorphism, since composing with : A * B gives a
+morphism A * A, which must be id
+Vicieta Hernandez 2026-05-24 21:43
+This seems related to the fact that N is the initial
+monoid
+N is the type of lists taking values in a type with one
+element
+Hmm, I thought that maybe it'd be an analogous
+argument
+I'm not sure really
+Cool talk! Sorry I missed the earlier half
+Seeya
+J... 2026-05-2421:47
+Thanks!
+May 25, 2026
+Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+M _ 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+Message General
+```
+
+## frame_00011.jpg
+
+```
+021:14
+Math Club
+SSS
+@ • Discord General I +
+C] discord.convchannelsn04107589515415613/1434107590173790221
+o
+m•th Club
+Foundations Of
+13 Events
+4) Genera/
+Luc.
+0• 120-ceu
+Me ienOode
+Pishleb•cb
+# intro.
+# presenteg -guidelines
+# event•announcement'
+Go Live
+Voice Connected
+the.
+Your stream is still runnini
+this prev•w to wur
+ovo
+D
+General
+yeah
+If A is initial then any morphism f : B A is an
+isomorphism, since composing with : A * B gives a
+morphism A * A, which must be id
+Violeta Hernandez 2026-05-24 21:43
+This seems related to the fact that N is the initial
+monoid
+N is the type of lists taking values in a type with one
+element
+Hmm, I thought that maybe it'd be an analogous
+argument
+I'm not sure really
+Cool talk! Sorry I missed the earlier half
+Seeya
+1... 2026-05-2421:47
+Thanks!
+May 25, 2026
+A... Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+Message General
+```
+
+## frame_00012.jpg
+
+```
+720. 021:14 3
+Mus. c
+discord.com/channeW143a107589515415613/1434107590173790221
+o
+Math Club
+Math Club
+Foundations Of Probability
+16:07
+CiS7 •
+o
+13 Events
+General
+Luca
+nataba
+intros
+presenter-guidelines
+Go Live
+Voice Connected
+Luca
+0 120 -cell
+natal•a
+Luca
+MelonDude
+Q Pishieback
+ovo
+General
+yeah
+If A is initial then any morphism f : B * A is an
+isomorphism, since composing with : A * B gives a
+morphism A * A, which must be id
+Violeta Hernandez 2026-05-24 21:43
+This seems related to the fact that N is the initial
+monoid
+N is the type of lists taking values in a type with one
+element
+Hmm, I thought that maybe it'd be an analogous
+argument
+I'm not sure really
+Cool talk! Sorry I missed the earlier half
+Seeya
+J... 2026-05-2421:47
+Thanks!
+May 25, 2026
+A... Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+Mm 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+Message General
+```
+
+## frame_00013.jpg
+
+```
+4) General
+o
+0 21:14
+Math Club
+Foundations Of Probabili ty
+13 Events
+General
+Luc•
+MclonDude
+Pishteback
+intros
+presenter-guidelines
+Go Live
+Voice Connected
+CiS7
+1 GenerallWx +
+discord.convcnanneW1434107589515415613/1434107590173790221
+o
+Math Club
+Live Event Foundations of Probability
+Cool talk! Sorry I missed the earlier half
+Seeya
+iustaquark
+Thanks!
+may
+Ariomat.cSystern
+it's this:
+istle
+The Rolfsen Knot Table
+iustaquark
+is it something small because penguins arent
+technically lard
+arent there some small rodents?
+tardigrades are just cheating
+20. 202b
+are you going to record?
+Luca 2'C.s
+Starting officially now!
+ovo
+• S' Ming
+General
+yeah
+If A is initial then any morphism f : B A is an
+isomorphism, since composing with : A * B gives a
+morphism A * A, which must be id
+Violeta Hernandez 2026-05-24 21:43
+This seems related to the fact that N is the initial
+monoid
+N is the type of lists taking values in a type with one
+element
+Hmm, I thought that maybe it'd be an analogous
+argument
+I'm not sure really
+Cool talk! Sorry I missed the earlier half
+Seeya
+J... 2026-05-2421:47
+Thanks!
+May 25, 2026
+A... Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+M _ 21•06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+Message General
+```
+
+## frame_00014.jpg
+
+```
+x
+Nzo.
+12 3
+JäCJZ
+tustaqu.rk 'roc
+is it something small because penguins arent
+technically land
+acent there same small rodents?
+are just cheating
+202'
+are you gamg to record?
+Starting officially now/
+yeah ifr a crime
+likely a crirne
+sorry my nuc doesnt seem to working m
+i think induction. based nn the experience that
+innocent people dont walk stores Oke that
+Plausible Reasoning
+Suppose some dark night a police
+ent/y deserted. Suddenly he hea
+the street, and sees a jewelry sto
+a man wearing a mask comes c
+window, carrying a bag which t
+jewelry.
+Is he witnessing a crime?
+Is this deduction or induction?
+Luca
+presentation/proubflity_present.tion.ødt
+Probability
+General
+rm not sure reauy
+Cool talk! Sorry I missed the earlier half
+Seeya
+J... 2026-05-2421:47
+Thanks!
+May 25, 2026
+Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+21•15
+most likely a crime
+120-cell 21:15
+sorry my mic doesn't seem to be working rn
+M. m 21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+Message General
+```
+
+## frame_00017.jpg
+
+```
+Plausible Reasoning
+Suppose some dark night a policeman walks down a street, appar-
+ently deserted. Suddenly he hears a burglar alarm, looks across
+the street, and sees a jewelry store with a broken window. Then
+a man wearing a mask comes crawling out through the broken
+window, carrying a bag which turns out to be full of expensive
+jewelry.
+Is he witnessing a crime?
+Is this deduction or induction?
+Luca
+M/probabflity presentation/probabiitty_presentation. pat
+Probability is Logic
+May
+General
+rm not sure really
+Cool talk! Sorry I missed the earlier half
+Seeya
+J... 2026-05-2421:47
+Thanks!
+May 25, 2026
+Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+Mm 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+M. - 2t•1S
+most likely a crime
+120-cell 21:15
+sorry my mic doesn't seem to be working rn
+Mm 21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+Message General
+```
+
+## frame_00028.jpg
+
+```
+D
+General
+1 mess* sirre 9:20 PM
+mark As Read
+-8
+Order from Implication
+This act of reducing statements
+to their disjunctive normal form
+can be used to construct an order
+by implication starting from the
+atoms. Only A A B is ignored, as
+it is the complement of A V B,
+In essence this order is built
+under the assumption that at
+least one of A or B is true,
+written as AV B T.
+Luca
+AAD
+Probability is Logic
+AAB
+A A 13
+Thanks!
+May 25, 2026
+Yesterday at 16:04
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+J Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+M..„ 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+M. m 21:15
+most likely a crime
+120-cell 21:15
+sorry my mic doesn't seem to be working rn
+M _ 21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+Message General
+```
+
+## frame_00138.jpg
+
+```
+General
+Luca,sscreen
+Bivaluation of Lattice
+o
+D
+Elements
+Since we are trying to generalize the zeta function in order to find some
+Luca
+quantified degree of implic
+individual elements. We ne
+In doing inference we are a
+< T, where X is
+Note that T does not nee
+Luca
+Profile
+Start a Call
+User Volume
+Mute
+Disable Video
+View Verification Code
+Invite to Server
+Add Friend
+Block
+Pop Out User
+Show Non-Video Participants
+Copy User ID
+ork with measures of
+b([X, T]) to an interval
+T is the context.
+ent T.
+toy
+Luca
+Q 120-ceU
+General
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+J Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+Mm 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+Mm 21:15
+most likely a crime
+120-cell 21:15
+sorry my mic doesn't seem to be working rn
+M. 21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+120-cell 21:27
+can't see the slide atm
+M. v 21:30
+the new slide isn't showing again
+Message General
+```
+
+## frame_00139.jpg
+
+```
+General
+Luca,sscreen
+Bivaluation of Lattice
+o
+D
+Elements
+Since we are trying to generalize the zeta function in order to find
+some
+quantified degree of implic
+individual elements. We ne
+In doing inference we are a
+< T, where X is
+Note that T does not nee
+Luca
+Oen,'prftaoilit-y
+Profile
+Start a Call
+User Volume
+Mute
+Disable
+View Verification Code
+Invite to Server
+Add Friend
+Block
+Pop Out User
+Show Non-Video Participants
+Copy User ID
+>
+>
+Luca
+Luca
+Q 120-ceU
+7rowt•s
+the server rack
+StaTech Industry
+Star Tectmology
+The Foundry
+averagegregtechplams
+GT New Horizons
+Pigcat•s p r*cts
+Brotherhood
+The MuggteOrWizard Community
+Nullius
+Krastorio
+Planet Big_J
+HeavenlyHe[l
+Momentum Mod
+FOUNDRY
+Menergy
+yt-dlp
+General
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+J Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+Mm 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+Mm 21:15
+most likely a crime
+120-cell 21:15
+sorry my mic doesn't seem to be working rn
+M. 21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+120-cell 21:27
+can't see the slide atm
+M _ 21:30
+the new slide isn't showing again
+Message General
+```
+
+## frame_00170.jpg
+
+```
+4) General
+Luca,sscreen
+Chaining Bivaluations
+We also need to quantify the degree of implication between two elements
+X and T that are not directly one above the other X 7k T. For example
+consider the chain X Y Z T. Then we need to somehow obtain'
+the valuation of the degree of implication of the interval [X, T] from all its
+subintervals [X, Y], [Y, Z], [Z, T].
+This is an entirely different operation from adding in an independent
+system (which has the form of another distributive lattice). But we will
+see that it results in a product rule once again.
+o
+Luca
+Luca
+Probability is Logic
+Luca
+May., 202b
+Oen,'probability
+Luca
+Unmute
+General
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+Mm 21:15
+most likely a crime
+120-cell 21:15
+sorry my mic doesn't seem to be working rn
+m _ 21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+120-cell 21:27
+can't see the slide atm
+21:30
+the new slide isn't showing again
+Message General
+```
+
+## frame_00246.jpg
+
+```
+& 'Initions Of
+Classical Logic Algebra
+Lattice Theory
+Derivation of Su• Rule
+of Product Rule for Independent El—ents
+of Rule for Dependent Elarnts
+Oen,'probability
+Pme8
+19 (19'
+Page 25 (25)
+Pne 39
+47 (47)
+General
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+Mm 21:15
+most likely a crime
+120-cell 21:15
+sorry my mic doesn't seem to be working rn
+MA 21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+120-cell 21:27
+can't see the slide atm
+21:30
+the new slide isn't showing again
+Message General
+```
+
+## frame_00256.jpg
+
+```
+Display of Power:
+Marginalization
+Answer: we just apply product and sum rules.
+V V V An), D, T) • P(ÄI V V V Anp, T) =
+P(wlD, T) • 1
+Here we also use the fact that the compound proposition
+(Al V A2 V ... An) is already contained in the context, and hence does not
+bear any additional influence on our knowledge of w that is not already
+contained in said
+Luca
+context.
+Probability is Logic
+May 20, 2020
+50 / 58
+D
+General
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+M m 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+MA 21:15
+most likely a crime
+120-cell 21:15
+sorry my mic doesn't seem to be working rn
+MA 21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+120-cell 21:27
+can't see the slide atm
+M A 21:30
+the new slide isn't showing again
+Message General
+```
+
+## frame_00286.jpg
+
+```
+x
+Luca
+Probabiiity is Logic
+Display of Power: Quantified Occam's Razor
+ij =
+May 20. 2020
+53/58
+Model comparison is thus completely analogous to parameter estimation:
+the posterior probability for a model is proportional to its prior probability
+times its likelihood. To compare any two models can compute their odds
+ratio
+P(NLID, T)
+P(MJID, T)
+P(MiIT) P(DIMz, T)
+P(MJIT)
+and since we usually have no reason to prefer any model to another
+P(MilT) P(MjIT) and the odds ratio becomes the ratio of the global
+likelihoods of the models.
+O.n;pronanillr.
+P(DIN1z, T)
+P(DIMJ, T)
+General
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+yes
+120-cell 21:15
+yeah it's a crime
+most likely a crime
+120-cell 21:15
+sorry my mic doesnt seem to be working rn
+i think induction, based on the experience that
+innocent people dorft walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+120-cell 21:27
+can't see the slide atm
+Mn, 21:30
+the new slide isn't showing again
+Message General
+```
+
+## frame_00287.jpg
+
+```
+x
+Luca
+ij
+Probability is Logic
+May 26. 202b
+Display of Power: Quantified Occam's Razor
+Model comparison is thus completely analogous to parameter estimation:
+the posterior probability for a model is proportional to its prior probability
+times its likelihood. To compare any two models can compute their odds
+ratio
+POLIT) P(DIMz, T)
+P(MJIT) P(DIMj, T)
+and since we usually have no reason to prefer any model to another
+P(NIilT) P(MjlT) and the odds ratio becomes the ratio of the global
+likelihoods of the models.
+presenroaom'pronablllty_gresenülnon.pnt
+P(DIN1z, T)
+P(DIMJ, T)
+General
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+M— 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+yes
+120-cell 21:15
+yeah it's a crime
+most likely a crime
+120-cell 21:15
+sorry my mic doesnt seem to be working rn
+Mn 21:16
+i think induction, based on the experience that
+innocent people dont walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+120-cell 21:27
+can't see the slide atm
+Mm 21:30
+the new slide isn't showing again
+Message General
+```
+
+## frame_00298.jpg
+
+```
+D
+that we would like to evaluate against each other. We can calculate the
+probability of each model
+P(DlMz,
+P(MZID, T)
+P(DIT)
+The term in the denominator is again a normalization constant, obtained
+by summing the products of the priors and the global likelihoods of all
+General
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+MA 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+Mm 21:15
+most likely a crime
+120-cell 21:15
+sorry my mic doesn't seem to be working rn
+M _ 21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+120-cell 21:27
+can't see the slide atm
+M. v 21:30
+the new slide isn't showing again
+Message General
+x
+models being considered.
+Luca
+Probability is Logic
+May 26, 2026
+53 / 58
+Display of Power: Quantified Occam's Razor
+Model comparison is thus completely analogous to parameter estimation:
+the posterior probability for a model is proportional to its prior probability
+times its likelihood. To compare any two models can compute their odds
+```
+
+## frame_00339.jpg
+
+```
+D
+End
+You
+that
+ke that
+Luca
+M/probabtltty
+Thank You!
+probably have some questions?
+Probability is Logic
+General
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+M. 21:15
+most likely a crime
+120-cell 21:15
+sorry my mic doesn't seem to be working rn
+21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+120-cell 21:27
+can't see the slide atm
+M — 21:30
+the new slide isn't showing again
+Message General
+```
+
+## frame_00340.jpg
+
+```
+D
+720. 5
+@ • Discord General I M, x
+discord.comRhannelg1434107589515415613/1434107590173790221
+a
+M•th Club
+Ent
+f probability
+-guidelines
+Your stream running'
+paused thi' your
+resource s.
+is it something small because arent
+technically land
+arent there sorne small rodents?
+are just cheating
+2024
+are you going to record?
+Starting officially now!
+120-ceil
+120-cell
+yeah its a crime
+most likely a crime
+120-ceu
+sorry my mic doesn't seem to be working rn
+i think induction, based On the experience that
+innocent people walk into stores like that
+ovo
+General
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+M _ 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+M. 21:15
+most likely a crime
+120-cell 21:15
+sorry my mic doesnt seem to be working rn
+21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+120-cell 21:27
+carft see the slide atm
+M. m 21:30
+the new slide isn't showing again
+Message General
+```
+
+## frame_00341.jpg
+
+```
+D
+022:06
+Mus"
+Math Club
+Foundations Of probability
+13 Events
+General
+Luca
+Melon Dude
+Pigh*back
+# intros
+# presentet-guidetines
+GO Live
+Voice Connected
+Mae' C
+discord.cormchanne'5'14341075895154156B/1434107590173790221
+o
+Math Club
+Your stream GZstnrunningl
+paused this "e" i •n to ymr
+is it something small because penguins arent
+technically land
+areo t there sorne small rodents?
+tardigrades are cheating
+M., 26.2024
+are you going to record?
+Luca cz
+Star t ing officially
+120•ce11
+120-cell
+yeah its a crime
+most likely a crime
+120-cell 2t15
+sorry my mic doesn't seem to working rn
+i think induction. based on the experience that
+innocent people dorit walk into stores like that
+ovo
+General
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+J Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+M _ 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+M. 21:15
+most likely a crime
+120-cell 21:15
+sorry my mic doesnt seem to be working rn
+m _ 21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+120-cell 21:27
+carft see the slide atm
+M. m 21:30
+the new slide isn't showing again
+Message General
+```
+
+## frame_00342.jpg
+
+```
+D
+Nao. 022:06 1
+Math Club
+Foundations Of Probability
+@ • Discord i General I Mr x
+discord.corwchanne15,'1434107589515415613/1434107590173790221
+a
+Moth Club
+x
+o
+13 Events
+General
+Cuca
+O• •.20.ceu
+Melon Dude
+Pishieback
+# Intros
+presenter -guidelines
+event-announcements
+Go Live
+Voice Connected
+are you going to record?
+Luea
+Starting officially now!
+120-cell
+120-celi
+yeah it•s a crime
+most likely a crime
+sorry my mic doesnt seem to be working m
+i think induction. based on the exir•rience that
+innocent people don't walk .nt0 Stores like that
+120-ceit
+dodt think xor is adequate. but nor is
+120-celi
+can't see the slide atm
+the slide showing again
+• the.
+General
+it's this:
+https://katlas.org/wiki/The_Rolfsen_Knot_Table
+The Rolfsen Knot Table
+Yesterday at 17:00
+is it something small because penguins arent
+technically land
+arent there some small rodents?
+tardigrades are just cheating
+May 26, 2026
+M _ 21:06
+are you going to record?
+21:06
+Starting officially now!
+120-cell 21:07
+120-cell 21:15
+yeah it's a crime
+M. 21:15
+most likely a crime
+120-cell 21:15
+sorry my mic doesnt seem to be working rn
+21:16
+i think induction, based on the experience that
+innocent people don't walk into stores like that
+120-cell 21:20
+I don't think xor is adequate, but nor is
+120-cell 21:27
+carft see the slide atm
+M. m 21:30
+the new slide isn't showing again
+Message General
+```