almost-sure equalityLast updated Dec 7, 2024conditionals are almost surely totalBack: copy-discard category.
