let e_int k   = Fol.e_int k