TAG: Restricted State Check