minimal member (minimal_finite_ensemble_mem) done