Stuart_Armstrong comments on Standard ML Oracles vs Counterfactual ones

[Stuart_Armstrong]

Thanks, corrected that.