PSE Example 2.6 - EliminateVars