let
term_of_data d =
Fol
.e_data d