Minimization after application

On Chapter 14.6 - Cassowary, on the topic of Application after solving unrestricted variables it moves to minimization. However there’s no mention of minimization before then. When and how do we come to xm - xl?