We needed a way of representing prior biological knowledge in the computer, so we developed a logical formalism to model cellular metabolism that captures the key relationship between protein-coding ...