What exactly is "the polynomial program"?