Un programa progresivo puede dejar de serlo cuando agota su capacidad predictiva y se muestra incapaz de extenderse hacia nuevos dominios si logra hacer nuevas predicciones parcialmente corroboradas.