Edit Denied
Editing not allowed: A⊆B∧B⊆A→A is read-only.