code: def is_entailed_by(self, other):
          
          other = BoolCell.coerce(other)
          if self.value == U or other.value == self.value:
              return True
          return False
docs: If the other is as or more specific than self