Now, making software fail is something that I feel very strongly about, but in the big picture, it's not necessarily failures that we're interested but rather the fact that if we can find failures in software and if we can fix these failures, then eventually we're going to run out of bugs and we'll have a software that actually works reliably.