Goals: ID terms in an expression; determine which terms are "like" terms. Uses models as a tool to see like and unlike.