  In this paper we explore the boundary between biology and the study of formal
systems (logic). In the end, we arrive at a summary formalism, a chapter in
"boundary mathematics" where there are not only containers <> but also
extainers ><, entities open to interaction and distinguishing the space that
they are not. The boundary algebra of containers and extainers is to biologic
what boolean algebra is to classical logic. We show how this formalism
encompasses significant parts of the logic of DNA replication, the Dirac
formalism for quantum mechanics, formalisms for protein folding and the basic
structure of the Temperley Lieb algebra at the foundations of topological
invariants of knots and links.
