reformatted code and re-factored verifier