Verification and state updating.