Complexity Zoology: Active Inclusion Diagram Requires Firefox 1.5 or Opera 9. On my laptop, Opera happens to be faster. Arrows: ⟶ ∀X: AX ⊆ BX and co.AX ⊆ BX ⟶ ∀X: AX ⊆ BX ⟶ ∀X: co.AX ⊆ BX ⟶ ∀X: cocap.AX ⊆ BX Node colors: ∀X: AX ⊆? BX proven disproven open unknown to us If a cell has more than one color: left - regular inclusion; right - twisted inclusion; middle - weak inclusion. Click on a nod