let
maximize (s, p) a =
La
.upper (p, s.
E
.la) a