initial verifiers