deletions | additions       diff --git a/bits4.tex b/bits4.tex  index 37120d0..59ce0e5 100644  --- a/bits4.tex  +++ b/bits4.tex 
...
\end{Example}  In general we have  \begin{Theorem}[Absolute Normal Form Theorem]  Any function $f$ from $(\Fb)^n$ to $\Fb$ , with n ? N, \in \NN,  (i.e., any function   with n binary inputs and  only one binary output) can be written by