not : Bool @$\rightarrow$@ Bool
not  true = false
not false = true