We talked about rewriting our decision-making system in Rust and obtaining probabilistic proofs of one strategy being better than another.