Next: the verifyAccess stack