implement instance1 | intance2 capability (and also mutable_instance1 |= instance2)