nuisance.est	nuisance.est
stopping.rule	stopping.rule
