let
not_ a =
Not
a