ZF_finite.Not_ts_model