Fig. 2: Feedback between biological knowledge and mathematical modeling.

A specific hypothesis can be proposed from our observations of a biological system. The logical consequences of this hypothesis can then be evaluated through a mathematical model (i.e., logical machine). Using this model, we can make predictions to be tested with new experiments or observations to enrich our knowledge about the system.