Wow, a "computer scientist with a background in the formal specification of programming languages" thinks that the SEC should be "using a formally-specified pure functional programming language".

Yes, and when I worked at GM, I thought everyone should buy GM cars. Go figure.