Adding fail_reason to exists table, tweaking verifier