The role of theorem proving in systems biology.

Theorems offer a rarity in biology, a guarantee that something will always be true if certain conditions are met. We show that modeling and theorem proving are distinct while playing mutually supporting roles in understanding cellular phenomena. Using two recently proven theorems from systems biology as examples, we demonstrate that theorems are not an alternative to mechanistic models.

A stem cell niche dominance theorem.

Background: Multilevelness is a defining characteristic of complex systems. For example, in the intestinal tissue the epithelial lining is organized into crypts that are maintained by a niche of stem cells. The behavior of the system 'as a whole' is considered to emerge from the functioning and interactions of its parts.