let
model (s, p) =
La
.model s.
E
.la