step,rule,n_before,n_after,n_removed,rationale none,no filtering applied,2,2,0,inputs are 2 propositions and 2 design parameters; nothing excluded