New mathematical tools are needed to incorporate existing knowledge into kinetic models of ion channels and other proteins. Salari et al. describe an algebraic transformation that can enforce linearly interdependent parameters into kinetic models in order to test new hypotheses.