removing bad proof