allow the Full Brevity algorithm (Dale, 1992) to be viewed as minimising cost(S), and the incremental algorithm <cite>(Dale and Reiter, 1995)</cite> as hill-climbing (strictly, hill-descending), guided by the property-ordering which that algorithm requires.