shrinkers
not defined yet