Comment by amelius

Of course, but that doesn't mean formal verification isn't a huge step forward.