Contracts for shrinks, e.g.