let
e_update =
Fol
.e_update