starting to write verifier