step,rule,n_before,n_after,n_removed,rationale 1,keep all proposition rows (no filtering),2,2,0,both propositions must be assessed