A p-value for is super-uniform under that null: for every . For the Benjamini-Hochberg procedure, order , set
with if the set is empty, and reject the hypotheses whose p-values are at most .