zimtkerl

• zimtkerl 20 Mar 2023 12:57 UTC

  1 point

  0

  on: Prob­a­bil­is­tic Payor Lemma?

  • $p(┌\neg a┐)<1-c$.

  • $p(┌b\vee \neg a┐)\le p(┌b┐)+p(┌\neg a┐)<p(┌b┐)+1-c$.

  Are you deriving these two points only using the axioms provided in the “Setup” section, or are you assuming all four axioms stated afterward here?

• zimtkerl 24 Mar 2022 10:49 UTC

  3 points

  in reply to: lsusr’s comment on: Luna Love­g­ood and the Fidelius Curse—Part 10

  You are welcome. By the way, I really enjoyed delving into this work of yours, it is pleasant to read and its intricate structure provides a lot of fun. Thank you!

• zimtkerl 23 Mar 2022 20:22 UTC

  1 point

  on: Luna Love­g­ood and the Fidelius Curse—Part 10

  “The tentacled brain launched itself at the Memnuela”