Refactor verification module.