Ok that is pretty funny. It is the first time anyone has used any of those adjectives about me even in satire. Didn't mention rust though. I like it a lot, but it is just one tool. F*, agda etc all probably have a more fundamental part to play than rust does. Rust is just the one we can use at scale.