Verifier test, satisfy general (callbacks), README