let
not t =
Not
t