let
prop_in_data _do_exp d =
Fol
.
Tdata
d