Text this: Supermodular programming on finite lattices.