Why would you have been called out for saying “correctness and expressivity”? That’s accurate, though also probably legacy now that Rust can satisfy most or all of those use cases.