Programming for overproping