paulfchristiano comments on Cooperative Oracles: Stratified Pareto Optima and Almost Stratified Pareto Optima