Round-six lemma `sim_pop`