def __init__(self): super().__init__('false', value=False, term=Term.from_bool(False))
def __init__(self): super().__init__('true', value=True, term=Term.from_bool(True))