Restrictions and Verification