Induction of pro-inf