let mem_update m p v = Fol.Tapp ("upd", [m; p; v])