I was really confused when reading the article that their claim is you don't know formal verification, I was expecting something way juicer.