PSE Example 2.12 - EliminateVars