More about inductive (11)