Equivalence to discovery

Resolution of uncertainty not required