Equivalence to discovery

Commentary – 5.6

Resolution of uncertainty not required

Commentary – 5.7.3