defining restrictionsets works