1step,rule,n_before,n_after,n_removed,rationale21,read propositions.csv (no filtering),2,2,0,all propositions assessed32,read design.csv (no filtering),2,2,0,both design parameters used43,simulate counterexample sample (no filtering),100000,100000,0,all simulated rows retained5