Abstract: Biological systems are modeled using formal languages and theorem provers and model checkers and term rewriting systems. The models include rules that express a substitution of at least one symbol by at least another symbol. The symbols represent elements of the biological system, and the rules are expressed in a manner that, for example, enables an inference engine to infer alternative results from the system based on an initial hypothetical state.