let
minimize (s, p) a =
La
.lower (p, s.
E
.la) a