def __str__(self):
    s = ['(']
    for disj in self:
        s.append(str(disj))
        s.append(' or ')
    s.pop()
    s.append(')')
    return ''.join(s)
def __str__(self):
    s = ['(']
    for disj in self:
        s.append(str(disj))
        s.append(' or ')
    s.pop()
    s.append(')')
    return .join(s)