Hints on how to define shrink.