let e_update = Fol.e_update