to thin out