fleshed out vert-2 exercise
adding verifier for vert-1