Added inductive CP