Add enriched Boolean writeup.

You can compile tex files, right?