Refactor verify from state logic for reusing