Entirely appropriate, assuming the post is interesting, which this one is. Pity it got lost in the shuffle.

Advocates of formal verification of software remind me of the old joke, usually about a Frenchman but sometimes about an Irishman, who says in some policy debate: "I can see that it works in practice, but will it work in theory?"