let not t = Not t