> > You make it seem like the formal verification missed an issue.

> Sorry, that was not my intent. I added a clarification.

I'm sorry but it didn't. Without reading next comment I wouldn't know why it failed.