Rohin Shah comments on Standard ML Oracles vs Counterfactual ones