drop-suc is cong pred