Conditionals in a copy-discard category are almost surely total with respect to the marginal. almost-sure equality Back: conditionals.
