let
term_closed t =
Fol
.e_closed [] t