> > 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

> > 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.