Our internal verifier model is fuzzy but in this example I think it is pretty much always accurate.