step,rule,n_before,n_after,n_removed,rationale 1,keep agents with finite strictly positive endowments,2,2,0,all agents valid; no exclusion