DR_CR: ⊃⊂