Much of this work uses the notation and concepts of Boolean algebra. Neither the notation nor the concepts are particularly difficult to learn, nor does this work presuppose any basic familiarity with them. Nonetheless a sudden immersion might prove chilling to some, so we are presenting here a rather lengthy introduction designed to explain what we think is most novel about our work and what the motivations were which led up to it.
