def __ne__(self, other): return Boolean.Boolean(self.value != other.value)
def __eq__(self, other): return Boolean.Boolean(self.value == other.value)
def __gt__(self, other): return Boolean.Boolean(self.value > other.value)
def __contains__(self, x): if type(x) == String: return Boolean.Boolean(x.value in self.value) else: return Boolean.Boolean(x in self.value)
def __le__(self, other): return Boolean.Boolean(self.value <= other.value)