commented out some excessive overapproximate sources