stall-at-p-implies