Conditioned disjunction

ID: conditioned-disjunction

New to topics? Read the docs here!