New: inductive