Written a first basic verion of a setup verifier.