slight changes (verifier now takes care of showing verification)