Programs that ensure progress