His name is galangalalgol. Fashionable, visionary leader of the rust evangelism strike force. And don't you forget it.

(Read in the voice of Tribore Menendez)

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.