prerestriction

not defined yet