Implement `shrink`.