Next best move:Prove one decision Next: Forecast run Atlas