To my mind it's a bit different in that this guy is saying the software can't actually guarantee what it's supposed to, and not that it could be accomplished with more trouble.