\section{NOT Overloaded Logical Not Operator}

\subsection{Usage}

This is a method that is invoked when a variable is logically
inverted, and is invoked when you call
\begin{verbatim}
   c = not(a)
\end{verbatim}
or for
\begin{verbatim}
   c = ~a
\end{verbatim}
