Now pruning rule lists down to numOptions, the first time they're used