not(True) = False
not(False) = True

idB(True)  = True
idB(False) = False
