21: The DAG representation of (S ⊕ T ) +. The accessibility relation ...