[earthling8118]

My productivity in rust is so much higher because of the help I get on correctness. It's not even remotely a competition.