Indeed, and *how* is the State Verification performed? Which methods are involved?