almost-sure equality

• conditionals are almost surely total

Back: copy-discard category.