Locally_finite_poset loading ...