This article shows how TK Solver's unique ability to "backsolve" system of linear and nonlinear equations can contribute to condensing and clarifying problem solutions. Beyond this, TK can be used as a complete knowledge management environment in which equations, tabular data, and design rules are made easily accessible and usable.