* shrinks implemented